Changed &%documentation to be a ternary relation

CCTrep.kif

@@ -3,7 +3,7 @@
 
 
 (subclass CodingScheme Procedure)
-(documentation CodingScheme "A &%Procedure for &%Encoding and/or &%Decoding
+(documentation CodingScheme EnglishLanguage "A &%Procedure for &%Encoding and/or &%Decoding
 information.  A coding scheme is often implemented as a &%ComputerProgram.
 Some examples of coding schemes include MPEG, WAV, and pig-latin.")
 
@@ -33,7 +33,7 @@ Some examples of coding schemes include MPEG, WAV, and pig-latin.")
           (containsInformation ?OBJ ?CODE))))))
 
 (instance coding BinaryRelation)
-(documentation coding "A relation between a &%ContentBearingObject and a 
+(documentation coding EnglishLanguage "A relation between a &%ContentBearingObject and a 
 &%CodingScheme that specifies how the content is expressed.  Typically,
 this will be used either for encoded secret communications or computer
 files that might be coded simply for data compression instead of 
@@ -55,7 +55,7 @@ information security.")
 (domain filename 1 SymbolicString)
 (domain filename 2 ComputerData)
 
-(documentation filename "A relation between a &%SymbolicString and an 
+(documentation filename EnglishLanguage "A relation between a &%SymbolicString and an 
 instance of &%ComputerData that specified the filename of the data on a 
 particular computer file system.  This relation is for a fully qualified 
 filename including a device specification such as a drive letter or name, 
@@ -68,7 +68,7 @@ to a storage device on a network.")
 (relatedInternalConcept filename directoryOf)
 
 ; documentation from QoSOntology.txt changed
-(documentation directoryOf "(directoryOf ?FILE ?DIRECTORY) means that the 
+(documentation directoryOf EnglishLanguage "(directoryOf ?FILE ?DIRECTORY) means that the 
 ComputerFile ?FILE is in the ComputerDirectory ?DIRECTORY.  Note that the
 directory of a file is a component of the fully qualified name specification
 given to the relation &%filename.  Note also that the directory does not
@@ -79,7 +79,7 @@ include the specification of a machine location on the Internet.  See
 ; need to be axiomatized
 
 (subclass MimeEncodingScheme CodingScheme)
-(documentation MimeEncodingScheme "A coding scheme and designator for
+(documentation MimeEncodingScheme EnglishLanguage "A coding scheme and designator for
 coding Internet messages, usually for consumption by web browsers.  The
 scheme designator should conform to IETF RFC 2045.")
 (subclass MimeText MimeEncodingScheme)
@@ -96,17 +96,17 @@ scheme designator should conform to IETF RFC 2045.")
 (instance mimeType BinaryRelation)
 (subRelation mimeType coding)
 (domain mimeType 2 MimeEncodingScheme)
-(documentation mimeType "A relation between &%ComputerData and the 
+(documentation mimeType EnglishLanguage "A relation between &%ComputerData and the 
 MIME type it is coded in, with respect to IETF RFC 2045.")
 
 (instance mimeSubType BinaryRelation)
 (subRelation mimeSubType coding)
 
-(documentation mimeType "A relation between &%ComputerData and the 
+(documentation mimeType EnglishLanguage "A relation between &%ComputerData and the 
 MIME subtype it is coded in, with respect to IETF RFC 2046.")
 
 (subclass EncodingProcedure Procedure)
-(documentation EncodingProcedure "A &%Procedure for performing an
+(documentation EncodingProcedure EnglishLanguage "A &%Procedure for performing an
 &%Encoding.")
 
 

Communications.kif

@@ -20,7 +20,7 @@
 ;; VI. Communications
 
 (subclass CommunicationDevice EngineeringComponent)
-(documentation CommunicationDevice "A &%CommunicationDevice is a &%Device
+(documentation CommunicationDevice EnglishLanguage "A &%CommunicationDevice is a &%Device
 which serves at the &%instrument in a &%Communication &%Process by allowing
 the communicated message to be conveyed between the participants.")
 (relatedInternalConcept Communication CommunicationDevice)
@@ -30,7 +30,7 @@ the communicated message to be conveyed between the participants.")
 	(capability Communication instrument ?DEVICE))
 
 (subclass CommunicationRadio CommunicationDevice)
-(documentation CommunicationRadio "Relatively low power broadcasting
+(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
@@ -41,7 +41,7 @@ communication systems and CB radios.")
 ;; 	A. Telephones - main lines in use
 
 (subclass TelephoneSystem CommunicationSystem)
-(documentation TelephoneSystem "A &%TelephoneSystem consists of a complete
+(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.")
@@ -57,7 +57,7 @@ point in a given area.")
 
 (subclass MainTelephoneLine CommunicationDevice)
 (synonymousExternalConcept "main telephone line" MainTelephoneLine EnglishLanguage)
-(documentation MainTelephoneLine "A &%MainTelephoneLine is one 
+(documentation MainTelephoneLine EnglishLanguage "A &%MainTelephoneLine is one 
 &%engineeringSubcomponent of a &%TelephoneSystem used for voice communication 
 or computer data transfer.")
 (=>
@@ -70,21 +70,21 @@ or computer data transfer.")
 ;;	B. Telephones - mobile cellular
 (subclass MobileCellPhone Telephone)
 (synonymousExternalConcept "cell phone" MobileCellPhone EnglishLanguage)
-(documentation MobileCellPhone "A &%Telephone that can be used without
+(documentation MobileCellPhone EnglishLanguage "A &%Telephone that can be used without
 connection to a &%MainTelephoneLine.")
 
 ;;	C. Telephone system
 (subclass ArtificialSatellite Satellite)
 (subclass ArtificialSatellite EngineeringComponent)
 (synonymousExternalConcept "satellite" ArtificialSatellite EnglishLanguage)
-(documentation ArtificialSatellite "An &%ArtificialSatellite is a &%Device
+(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)
 (synonymousExternalConcept "communications satellite" CommunicationSatellite EnglishLanguage)
-(documentation CommunicationSatellite "A &%CommunicationSatellite is an
+(documentation CommunicationSatellite EnglishLanguage "A &%CommunicationSatellite is an
 &%ArtificialSatellite that serves as one &%engineeringSubcomponent of a 
 &%CommunicationSystem.")
 (=>
@@ -98,7 +98,7 @@ aiding in communication, photographing the earth's surface, and others.")
 (domain communicationSatelliteForArea 1 GeopoliticalArea)
 (domainSubclass communicationSatelliteForArea 2 Satellite)
 (domain communicationSatelliteForArea 3 Integer)
-(documentation communicationSatelliteForArea "The expression
+(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
@@ -116,30 +116,30 @@ as an &%engineeringSubcomponent of a &%TelephoneSystem of the GeopoliticalArea
 					(engineeringSubcomponent ?SATELLITE ?SYSTEM))))))
 
 (subclass Eutelsat CommunicationSatellite)
-(documentation Eutelsat "An &%Eutelsat is one type of 
+(documentation Eutelsat EnglishLanguage "An &%Eutelsat is one type of 
 &%CommunicationSatellite.")
 
 (subclass Inmarsat CommunicationSatellite)
-(documentation Inmarsat "An &%Inmarsat is one type of 
+(documentation Inmarsat EnglishLanguage "An &%Inmarsat is one type of 
 &%CommunicationSatellite.")
 
 (subclass Intelsat CommunicationSatellite)
-(documentation Intelsat "An &%Intelsat is one type of 
+(documentation Intelsat EnglishLanguage "An &%Intelsat is one type of 
 &%CommunicationSatellite.")
 
 (subclass Intersputnik CommunicationSatellite)
-(documentation Intersputnik "An &%Intersputnik is one type of 
+(documentation Intersputnik EnglishLanguage "An &%Intersputnik is one type of 
 &%CommunicationSatellite.")
 
 (subclass Orbita CommunicationSatellite)
-(documentation Orbita "An &%Orbita is one type of 
+(documentation Orbita EnglishLanguage "An &%Orbita is one type of 
 &%CommunicationSatellite.")
 
 ;;	D. Radio broadcast stations
 (subclass BroadcastingStation StationaryArtifact)
 (subclass BroadcastingStation CommunicationDevice)
 (engineeringSubcomponent BroadcastingStation CommunicationSystem)
-(documentation BroadcastingStation "A &%BroadcastingStation is
+(documentation BroadcastingStation EnglishLanguage "A &%BroadcastingStation is
 an &%engineeringSubcomponent of either a &%TelevisionSystem or
 a &%RadioStation.")
 
@@ -150,44 +150,44 @@ a &%RadioStation.")
 		(instance ?STATION RadioStation)))
 
 (subclass RadioSystem CommunicationSystem)
-(documentation RadioSystem "A &%RadioSystem consists of &%Radios, 
+(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 "An &%AMRadioSystem consists of &%Radios, 
+(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 "A &%FMRadioSystem consists of &%Radios, 
+(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 "A &%ShortwaveRadioSystem consists 
+(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 RadioStation BroadcastingStation)
 (subclass BroadcastingStation EngineeringComponent)
 (engineeringSubcomponent RadioStation RadioSystem)
-(documentation RadioStation "A &%RadioStation is an 
+(documentation RadioStation EnglishLanguage "A &%RadioStation is an 
 &%engineeringSubcomponent of a &%RadioSystem.")
 
 (subclass AMRadioStation RadioStation)
 (engineeringSubcomponent AMRadioStation RadioSystem)
-(documentation AMRadioStation "An &%AMRadioStation is an 
+(documentation AMRadioStation EnglishLanguage "An &%AMRadioStation is an 
 &%engineeringSubcomponent of an &%AMRadioSystem.")
 
 (subclass FMRadioStation RadioStation)
 (engineeringSubcomponent FMRadioStation RadioSystem)
-(documentation FMRadioStation "A &%FMRadioStation is an 
+(documentation FMRadioStation EnglishLanguage "A &%FMRadioStation is an 
 &%engineeringSubcomponent of an &%FMRadioSystem.")
 
 (subclass ShortwaveRadioStation RadioStation)
 (engineeringSubcomponent ShortwaveRadioStation RadioSystem)
-(documentation ShortwaveRadioStation "A &%ShortwaveRadioStation 
+(documentation ShortwaveRadioStation EnglishLanguage "A &%ShortwaveRadioStation 
 is an &%engineeringSubcomponent of a &%ShortwaveRadioSystem.")
 
 ;;	E. Radios
@@ -201,12 +201,12 @@ is an &%engineeringSubcomponent of a &%ShortwaveRadioSystem.")
 
 ;;	F. Television broadcast stations
 (subclass TelevisionSystem CommunicationSystem)
-(documentation TelevisionSystem "A system for &%Broadcasting and 
+(documentation TelevisionSystem EnglishLanguage "A system for &%Broadcasting and 
 receiving television signals.")
 
 (subclass TelevisionStation BroadcastingStation)
 (engineeringSubcomponent TelevisionStation TelevisionSystem)
-(documentation TelevisionStation "A &%TelevisionStation is an 
+(documentation TelevisionStation EnglishLanguage "A &%TelevisionStation is an 
 &%engineeringSubcomponent of a &%TelevisionSystem.")
 (=>
 	(instance ?SYSTEM TelevisionSystem)
@@ -216,14 +216,14 @@ receiving television signals.")
 			(engineeringSubcomponent ?STATION ?SYSTEM))))
 
 (subclass CableTelevisionSystem CommunicationSystem)
-(documentation CableTelevisionSystem "A &%CableTelevisionSystem
+(documentation CableTelevisionSystem EnglishLanguage "A &%CableTelevisionSystem
 is a &%CommunicationSystem for cable television.")
 
 ;;	G. Televisions
 (subclass TelevisionReceiver EngineeringComponent)
 (synonymousExternalConcept "television" TelevisionReceiver EnglishLanguage)
 (synonymousExternalConcept "TV" TelevisionReceiver EnglishLanguage)
-(documentation TelevisionReceiver "A &%TelevisionReceiver is a &%Device for receiving 
+(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.")
 (=>
@@ -242,20 +242,20 @@ transmitted through a cable from a &%CableTelevisionSystem.")
 
 ;;	H. Internet country code
 (instance Internet CommunicationSystem)	
-(documentation Internet "The &%Internet is a &%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 "(internetCountryCode ?AREA ?CODE)
+(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 "An &%InternetServiceProvider
+(documentation InternetServiceProvider EnglishLanguage "An &%InternetServiceProvider
 serves as an &%engineeringSubcomponent of the &%Internet for a given
 area.")
 (=>
@@ -264,7 +264,7 @@ area.")
 
 ;;	J. Internet users
 (instance InternetUser SocialRole)
-(documentation InternetUser "An &%InternetUser is an individual who
+(documentation InternetUser EnglishLanguage "An &%InternetUser is an individual who
 uses the &%Internet.")
 
 (=>