Communications.kif

;; Ontology of Communication Concepts used in the CIA World Fact Book 2002

;; Access to and use of these products is governed by the GNU General Public 
;; License <http://www.gnu.org/copyleft/gpl.html>. 
;; By using these products, you agree to be bound by the terms 
;; of the GPL.

;; Those who are interested in making use of this ontology are urged 
;; to contact Adam Pease (apease@articulatesoftware.com).
;; We ask the people using or referencing this work cite our primary paper:

;; Niles, I., and Pease, A.  2001.  Towards a Standard Upper Ontology.  In 
;; Proceedings of the 2nd International Conference on Formal Ontology in 
;; Information Systems (FOIS-2001), Chris Welty and Barry Smith, eds, 
;; Ogunquit, Maine, October 17-19, 2001.  See also www.ontologyportal.org 

;; 
;; ==========================================================================
;; VI. Communications

(subclass CommunicationRadio CommunicationDevice)
(documentation CommunicationRadio EnglishLanguage "Relatively low power broadcasting
devices designed for voice communication among specialized groups
in which each receiver also has the power to transmit, unlike
broadcast radio where most components transmitting or receiving on
a given frequency or set of frequencies are receivers only.  This 
includes unlicensed walkie-talkies, public safety radios, military
communication systems and CB radios.")

;; 	A. Telephones - main lines in use

(subclass TelephoneSystem CommunicationSystem)
(documentation TelephoneSystem EnglishLanguage "A &%TelephoneSystem consists of a complete
interconnection of &%Telephones, &%MainTelephoneLines, and other components
that work together to make telephonic communication possible from point to
point in a given area.")

(termFormat EnglishLanguage Telephone "telephone")

(=>
	(instance ?SYSTEM TelephoneSystem)
	(exists (?PHONE)
		(and
			(instance ?PHONE Telephone)
			(engineeringSubcomponent ?PHONE ?SYSTEM))))

(subclass MainTelephoneLine CommunicationDevice)
(termFormat EnglishLanguage MainTelephoneLine "main telephone line" )
(documentation MainTelephoneLine EnglishLanguage "A &%MainTelephoneLine is one 
&%engineeringSubcomponent of a &%TelephoneSystem used for voice communication 
or computer data transfer.")
(=>
	(instance ?SYSTEM TelephoneSystem)
	(exists (?LINE)
		(and
			(instance ?LINE MainTelephoneLine)
			(engineeringSubcomponent ?LINE ?SYSTEM))))

(subclass TelephoneCradle Device)
(documentation TelephoneCradle EnglishLanguage "&%TelephoneCradle is the part of the
&%Telephone that is connected to the &%TelephoneSystem through some wire.")
(termFormat EnglishLanguage TelephoneCradle "telephone cradle")

(=>
  (instance ?X TelephoneCradle)
  (hasPurpose ?X
    (exists (?SYS ?WIRE)
      (and
        (instance ?SYS TelephoneSystem)
        (instance ?WIRE WireLine)
        (connectsEngineeringComponents ?WIRE ?X ?SYS)))))      

(subclass CordedTelephone FixedPhone)
(documentation CordedTelephone EnglishLanguage "&%CordedTelephone is a type of &%FixedPhone 
whose &%TelephoneHandset is connected to its &%TelephoneCradle by a &%WireLine")
(termFormat EnglishLanguage CordedTelephone "corded telephone")

(=>
  (instance ?X CordedTelephone)
  (exists (?HANDSET ?CRADLE ?WIRE)
    (and
      (instance ?HANDSET TelephoneHandset)
      (instance ?CRADLE TelephoneCradle)
      (part ?HANDSET ?X)
      (part ?CRADLE ?X)
      (instance ?WIRE WireLine)
      (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE))))
        
(subclass CordlessTelephone FixedPhone)
(documentation CordlessTelephone EnglishLanguage "&%CordlessTelephone is a type of 
&%FixedPhone whose &%TelephoneHandset is not connected to its &%TelephoneCradle by a 
&%WireLine")
(termFormat EnglishLanguage CordlessTelephone "cordless telephone")

(=>
  (instance ?X CordlessTelephone)
  (exists (?HANDSET ?CRADLE)
    (and
      (instance ?HANDSET TelephoneHandset)
      (instance ?CRADLE TelephoneCradle)
      (part ?HANDSET ?X)
      (part ?CRADLE ?X)
      (not 
        (exists (?WIRE)
          (and
            (instance ?WIRE WireLine)
            (connectsEngineeringComponents ?WIRE ?HANDSET ?CRADLE)))))))
        
;;	B. Telephones - mobile cellular

;;	C. Telephone system
(subclass ArtificialSatellite Satellite)
(subclass ArtificialSatellite EngineeringComponent)
(termFormat EnglishLanguage ArtificialSatellite "satellite")
(documentation ArtificialSatellite EnglishLanguage "An &%ArtificialSatellite is a &%Device
that orbits the earth in space and performs various functions such as
aiding in communication, photographing the earth's surface, and others.")

(subclass CommunicationSatellite ArtificialSatellite)
(subclass CommunicationSatellite CommunicationDevice)
(termFormat EnglishLanguage CommunicationSatellite "communications satellite")
(documentation CommunicationSatellite EnglishLanguage "A &%CommunicationSatellite is an
&%ArtificialSatellite that serves as one &%engineeringSubcomponent of a 
&%CommunicationSystem.")
(=>
	(instance ?SAT CommunicationSatellite)
	(exists (?SYSTEM)
		(and
			(instance ?SYSTEM CommunicationSystem)
			(engineeringSubcomponent ?SAT ?SYSTEM))))

(instance communicationSatelliteForArea TernaryPredicate)
(domain communicationSatelliteForArea 1 GeopoliticalArea)
(domainSubclass communicationSatelliteForArea 2 Satellite)
(domain communicationSatelliteForArea 3 Integer)
(documentation communicationSatelliteForArea EnglishLanguage "The expression
(communicationSatelliteForArea ?AREA ?SATELLITE ?INTEGER) means that 
?INTEGER number of &%CommunicationSatellites of the type ?SATELLITE serve
as an &%engineeringSubcomponent of a &%TelephoneSystem of the GeopoliticalArea
?AREA.")

(=>
	(communicationSatelliteForArea ?AREA ?SATELLITETYPE ?INTEGER)
	(equal ?INTEGER
		(CardinalityFn
			(KappaFn ?SATELLITE
				(and
					(instance ?SATELLITE ?SATELLITETYPE)
					(instance ?SYSTEM CommunicationSystem)
					(located ?SYSTEM ?AREA)
					(engineeringSubcomponent ?SATELLITE ?SYSTEM))))))

(subclass Eutelsat CommunicationSatellite)
(documentation Eutelsat EnglishLanguage "An &%Eutelsat is one type of 
&%CommunicationSatellite.")

(subclass Inmarsat CommunicationSatellite)
(documentation Inmarsat EnglishLanguage "An &%Inmarsat is one type of 
&%CommunicationSatellite.")

(subclass Intelsat CommunicationSatellite)
(documentation Intelsat EnglishLanguage "An &%Intelsat is one type of 
&%CommunicationSatellite.")

(subclass Intersputnik CommunicationSatellite)
(documentation Intersputnik EnglishLanguage "An &%Intersputnik is one type of 
&%CommunicationSatellite.")

(subclass Orbita CommunicationSatellite)
(documentation Orbita EnglishLanguage "An &%Orbita is one type of 
&%CommunicationSatellite.")

(subclass Telex CommunicationDevice)
(documentation Telex EnglishLanguage "&%Telex is a &%Telegraph-like &%CommunicationDevice 
that is used to send messages over a &%TelephoneSystem.")
(termFormat EnglishLanguage Telex "telex")

(=>
  (instance ?TELEX Telex)
  (exists (?PRINTER)
    (and
      (instance ?PRINTER Printer)
      (part ?PRINTER ?TELEX))))
      
(=>
  (instance ?TELEX Telex)
  (hasPurpose ?TELEX
    (exists (?SYS ?TELEX2 ?MSG)
      (and
        (instance ?SYS TelephoneSystem)
        (instance ?TELEX2 Telex)
        (instance ?MSG Messaging)
        (or
          (and
            (origin ?MSG ?TELEX)
            (destination ?MSG ?TELEX2))
          (and
            (origin ?MSG ?TELEX2)
            (destination ?MSG ?TELEX)))
        (path ?MSG ?SYS)))))

(=>
  (and
    (destination ?MSG ?TELEX)
    (instance ?MSG Messaging)
    (patient ?MSG ?M)
    (instance ?TELEX Telex))
  (exists (?PROC ?TEXT)
    (and
      (instrument ?PROC ?TELEX)
      (result ?PROC ?TEXT)
      (represents ?TEXT ?M)
      (instance ?TEXT Text)
      (before (BeginFn (WhenFn ?MSG)) (BeginFn (WhenFn ?PROC))))))


;;	D. Radio broadcast stations
(subclass BroadcastingStation StationaryArtifact)
(subclass BroadcastingStation CommunicationDevice)
(engineeringSubcomponent BroadcastingStation CommunicationSystem)
(documentation BroadcastingStation EnglishLanguage "A &%BroadcastingStation is
an &%engineeringSubcomponent of either a &%TelevisionSystem or
a &%RadioStation.")

(=>
	(instance ?STATION BroadcastingStation)
	(or
		(instance ?STATION TelevisionStation)
		(instance ?STATION RadioStation)))

(subclass RadioSystem CommunicationSystem)
(documentation RadioSystem EnglishLanguage "A &%RadioSystem consists of &%Radios, 
&%RadioStations, and other components that work together to make 
radio broadcasting possible in a given area.")

(subclass AMRadioSystem RadioSystem)
(documentation AMRadioSystem EnglishLanguage "An &%AMRadioSystem consists of &%Radios, 
&%AMRadioStations, and other components that work together to make 
AM radio broadcasting possible in a given area.")

(subclass FMRadioSystem RadioSystem)
(documentation FMRadioSystem EnglishLanguage "A &%FMRadioSystem consists of &%Radios, 
&%FMRadioStations, and other components that work together to make 
FM radio broadcasting possible in a given area.")

(subclass ShortwaveRadioSystem RadioSystem)
(documentation ShortwaveRadioSystem EnglishLanguage "A &%ShortwaveRadioSystem consists 
of &%Radios, &%ShortwaveRadioStations, and other components that work 
together to make shortwave radio broadcasting possible in a given area.")

(subclass BabyMonitoringSystem RadioSystem)
(documentation BabyMonitoringSystem EnglishLanguage "&%BabyMonitoringSystem refers to
the radio system that &%Broadcasting at 49Mhz, consisting of a transmitter and receiver,
where the transmitter is kept where the baby is kept, and the receiver is kept with
the person looking after the baby to be able to hear sounds and monitor the baby")
(termFormat EnglishLanguage BabyMonitoringSystem "baby monitor")

(=>
  (instance ?X BabyMonitoringSystem)
  (exists (?TX ?RX)
    (and
      (instance ?RX RadioReceiver)
      (instance ?TX Device)
      (engineeringSubcomponent ?RX ?X)
      (engineeringSubcomponent ?TX ?X)
      (hasPurpose ?X
        (exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO)
          (and
            (instance ?BABY HumanBaby)
            (instance ?CARER Human)
            (located ?BABY ?LOC1)
            (located ?CARER ?LOC2)
            (not (equal ?LOC1 ?LOC2))
            (instance ?PROC Maintaining)
            (patient ?PROC ?BABY)
            (agent ?PROC ?CARER)
            (located ?TX ?LOC1)
            (located ?RX ?LOC2)
            (instance ?SOUND RadiatingSound)
            (eventLocated ?SOUND ?LOC1)
            (instance ?RADIO RadioEmission)
            (patient ?RADIO ?SOUND)
            (destination ?RADIO ?RX)
            (agent ?RADIO ?TX)))))))
            

(subclass RadioStation BroadcastingStation)
(subclass BroadcastingStation EngineeringComponent)
(engineeringSubcomponent RadioStation RadioSystem)
(documentation RadioStation EnglishLanguage "A &%RadioStation is an 
&%engineeringSubcomponent of a &%RadioSystem.")

(subclass AMRadioStation RadioStation)
(engineeringSubcomponent AMRadioStation RadioSystem)
(documentation AMRadioStation EnglishLanguage "An &%AMRadioStation is an 
&%engineeringSubcomponent of an &%AMRadioSystem.")

(subclass FMRadioStation RadioStation)
(engineeringSubcomponent FMRadioStation RadioSystem)
(documentation FMRadioStation EnglishLanguage "A &%FMRadioStation is an 
&%engineeringSubcomponent of an &%FMRadioSystem.")

(subclass ShortwaveRadioStation RadioStation)
(engineeringSubcomponent ShortwaveRadioStation RadioSystem)
(documentation ShortwaveRadioStation EnglishLanguage "A &%ShortwaveRadioStation 
is an &%engineeringSubcomponent of a &%ShortwaveRadioSystem.")

;;	E. Radios

(=>
	(instance ?SYSTEM RadioSystem)
	(exists (?DEVICE)
		(and
			(instance ?DEVICE RadioReceiver)
			(engineeringSubcomponent ?DEVICE ?SYSTEM))))

;;	F. Television broadcast stations
(subclass TelevisionSystem CommunicationSystem)
(documentation TelevisionSystem EnglishLanguage "A system for &%Broadcasting and 
receiving television signals.")

(subclass TelevisionStation BroadcastingStation)
(engineeringSubcomponent TelevisionStation TelevisionSystem)
(documentation TelevisionStation EnglishLanguage "A &%TelevisionStation is an 
&%engineeringSubcomponent of a &%TelevisionSystem.")
(=>
	(instance ?SYSTEM TelevisionSystem)
	(exists (?STATION)
		(and
			(instance ?STATION TelevisionStation)
			(engineeringSubcomponent ?STATION ?SYSTEM))))

(subclass CableTelevisionSystem CommunicationSystem)
(documentation CableTelevisionSystem EnglishLanguage "A &%CableTelevisionSystem
is a &%CommunicationSystem for cable television.")

(=>
  (instance ?SYSTEM CableTelevisionSystem)
  (exists (?DEVICE)
    (and
      (instance ?DEVICE TelevisionReceiver)
      (engineeringSubcomponent ?DEVICE ?SYSTEM))))

(subclass SatelliteTelevisionSystem CommunicationSystem)
(documentation SatelliteTelevisionSystem EnglishLanguage "&%SatelliteTelevisionSystem       
is a &%CommunicationSystem where &%ArtificialSatellite is used to transfer TV signals")
(termFormat EnglishLanguage SatelliteTelevisionSystem "satellite tv")

(=>
  (instance ?TV SatelliteTelevisionSystem)
  (exists (?SAT ?RECEIVE)
    (and
      (instance ?SAT ArtificialSatellite)
      (member ?SAT ?TV)
      (instance ?RECEIVE TelevisionReceiver)
      (member ?RECEIVE ?TV))))      
      
(subclass BroadcastNetwork CommunicationSystem)
(documentation BroadcastNetwork EnglishLanguage "&%BroadcastNetwork is the subclass of 
&%CommunicationSystems consisting of &%BroadcastingStations that are linked 
electronically and managed or owned by one organization.")
(=>
  (instance ?N BroadcastNetwork)
  (forall (?M)
    (=>
      (member ?M ?N)
      (instance ?M BroadcastingStation))))

(=>
  (instance ?N BroadcastNetwork)
  (exists (?O)
    (and
      (instance ?O Organization)
      (forall (?M)
        (=>
          (member ?M ?N)
          (possesses ?O ?M))))))

;;	G. Televisions
(subclass TelevisionReceiver ReceiverDevice)
(subclass TelevisionReceiver EngineeringComponent)
(termFormat EnglishLanguage TelevisionReceiver "television")
(termFormat EnglishLanguage TelevisionReceiver "TV")
(documentation TelevisionReceiver EnglishLanguage "A &%TelevisionReceiver is a &%Device for receiving 
television broadcast signals from a &%TelevisionStation or signals
transmitted through a cable from a &%CableTelevisionSystem.")
(=>
  (instance ?SYSTEM TelevisionSystem)
  (exists (?DEVICE)
    (and
      (instance ?DEVICE TelevisionReceiver)
      (engineeringSubcomponent ?DEVICE ?SYSTEM))))

(=>
  (instance ?T TelevisionReceiver)
  (capability TelevisionBroadcasting patient ?T))

(subclass TelevisionSet ElectricDevice)
(documentation TelevisionSet EnglishLanguage "&%TelevisionSet is an &%ElectricDevice
comprised of a &%TelevisionReceiver and some form of &%VideoDisplay and is part of
a &%TelevisionSystem")
(termFormat EnglishLanguage TelevisionSet "television set")

(=>
  (instance ?TV TelevisionSet)
  (exists (?RECEIVER ?DISPLAY)
    (and
      (instance ?RECEIVER TelevisionReceiver)
      (instance ?DISPLAY VideoDisplay)
      (part ?RECEIVER ?TV)
      (part ?DISPLAY ?TV))))

(subclass TVRemoteControl RemoteControl)
(documentation TVRemoteControl EnglishLanguage "&%TVRemoteControl is a type of 
&%RemoteControl that signals to a &%TelevisionReceiver")
(termFormat EnglishLanguage TVRemoteControl "tv remote")

(=>
  (instance ?X TVRemoteControl)
  (hasPurpose ?X
    (exists (?SIGNAL ?DEVICE)
      (and
        (instance ?SIGNAL ElectronicSignalling)
        (agent ?SIGNAL ?X)
        (destination ?SIGNAL ?DEVICE)
        (instance ?DEVICE TelevisionReceiver)))))

  
;;	H. Internet country code
(instance Internet CommunicationSystem)	
(documentation Internet EnglishLanguage "The &%Internet is a &%CommunicationSystem
for the rapid delivery of information between computers.")

(instance internetCountryCode BinaryPredicate)
(domain internetCountryCode 1 GeopoliticalArea)
(domain internetCountryCode 2 SymbolicString)
(documentation internetCountryCode EnglishLanguage "(internetCountryCode ?AREA ?CODE)
relates a &%GeopoliticalArea to the &%SymbolicString ?CODE used to
identify the ?AREA on internet websites.")

;;	I. Internet Service Providers (ISPs)
(subclass InternetServiceProvider CommunicationSystem)
(engineeringSubcomponent InternetServiceProvider Internet)
(documentation InternetServiceProvider EnglishLanguage "An &%InternetServiceProvider
serves as an &%engineeringSubcomponent of the &%Internet for a given
area.")
(=>
	(instance ?PART InternetServiceProvider)
	(engineeringSubcomponent ?PART Internet))

;;	J. Internet users
(instance InternetUser SocialRole)
(documentation InternetUser EnglishLanguage "An &%InternetUser is an individual who
uses the &%Internet.")

(=>
	(attribute ?INDIVIDUAL InternetUser)
	(exists (?PROCESS)
		(and
			(agent ?PROCESS ?INDIVIDUAL)
			(instrument ?PROCESS Internet))))

;;	K. Communications - note

;; ==========================================================================