TreeView Knowledge Base Browser - CommunicationSatellite

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 e' uma sub-classe de ArtificialSatellite
(subclass CommunicationSatellite CommunicationDevice)	Communications.kif 120-120	CommunicationSatellite e' uma sub-classe de CommunicationDevice

appearance as argument number 2

(subclass Eutelsat CommunicationSatellite)	Communications.kif 153-153	Eutelsat e' uma sub-classe de CommunicationSatellite
(subclass Inmarsat CommunicationSatellite)	Communications.kif 157-157	Inmarsat e' uma sub-classe de CommunicationSatellite
(subclass Intelsat CommunicationSatellite)	Communications.kif 161-161	Intelsat e' uma sub-classe de CommunicationSatellite
(subclass Intersputnik CommunicationSatellite)	Communications.kif 165-165	Intersputnik e' uma sub-classe de CommunicationSatellite
(subclass Orbita CommunicationSatellite)	Communications.kif 169-169	Orbita e' uma sub-classe de CommunicationSatellite
(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