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 est une sous-classe de ArtificialSatellite
(subclass CommunicationSatellite CommunicationDevice)	Communications.kif 120-120	CommunicationSatellite est une sous-classe de CommunicationDevice

appearance as argument number 2

(subclass Eutelsat CommunicationSatellite)	Communications.kif 153-153	Eutelsat est une sous-classe de CommunicationSatellite
(subclass Inmarsat CommunicationSatellite)	Communications.kif 157-157	Inmarsat est une sous-classe de CommunicationSatellite
(subclass Intelsat CommunicationSatellite)	Communications.kif 161-161	Intelsat est une sous-classe de CommunicationSatellite
(subclass Intersputnik CommunicationSatellite)	Communications.kif 165-165	Intersputnik est une sous-classe de CommunicationSatellite
(subclass Orbita CommunicationSatellite)	Communications.kif 169-169	Orbita est une sous-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