CommunicationSatellite - Sigma Knowledge base Browser

appearance as argument number 1

(documentation CommunicationSatellite EnglishLanguage "A CommunicationSatellite is an ArtificialSatellite that serves as one engineeringSubcomponent of a CommunicationSystem.")	Communications.kif 122-124
(subclass CommunicationSatellite ArtificialSatellite)	Communications.kif 119-119	CommunicationSatellite は ArtificialSatellite の subclass では %n
(subclass CommunicationSatellite CommunicationDevice)	Communications.kif 120-120	CommunicationSatellite は CommunicationDevice の subclass では %n

appearance as argument number 2

(subclass Eutelsat CommunicationSatellite)	Communications.kif 153-153	Eutelsat は CommunicationSatellite の subclass では %n
(subclass Inmarsat CommunicationSatellite)	Communications.kif 157-157	Inmarsat は CommunicationSatellite の subclass では %n
(subclass Intelsat CommunicationSatellite)	Communications.kif 161-161	Intelsat は CommunicationSatellite の subclass では %n
(subclass Intersputnik CommunicationSatellite)	Communications.kif 165-165	Intersputnik は CommunicationSatellite の subclass では %n
(subclass Orbita CommunicationSatellite)	Communications.kif 169-169	Orbita は CommunicationSatellite の subclass では %n
(termFormat ChineseLanguage CommunicationSatellite "通信卫星")	domainEnglishFormat.kif 16038-16038
(termFormat ChineseTraditionalLanguage CommunicationSatellite "通信衛星")	domainEnglishFormat.kif 16037-16037
(termFormat EnglishLanguage CommunicationSatellite "communication satellite")	domainEnglishFormat.kif 16036-16036
(termFormat EnglishLanguage CommunicationSatellite "communications satellite")	Communications.kif 121-121

antecedent

(=>
    (instance ?SAT CommunicationSatellite)
    (exists (?SYSTEM)
        (and
            (instance ?SYSTEM CommunicationSystem)
            (engineeringSubcomponent ?SAT ?SYSTEM))))

Communications.kif 125-130