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	Communication satellite is a subclass of artificial satellite
(subclass CommunicationSatellite CommunicationDevice)	Communications.kif 120-120	Communication satellite is a subclass of communication device

appearance as argument number 2

(subclass Eutelsat CommunicationSatellite)	Communications.kif 153-153	Eutelsat is a subclass of communication satellite
(subclass Inmarsat CommunicationSatellite)	Communications.kif 157-157	Inmarsat is a subclass of communication satellite
(subclass Intelsat CommunicationSatellite)	Communications.kif 161-161	Intelsat is a subclass of communication satellite
(subclass Intersputnik CommunicationSatellite)	Communications.kif 165-165	Intersputnik is a subclass of communication satellite
(subclass Orbita CommunicationSatellite)	Communications.kif 169-169	Orbita is a subclass of communication satellite
(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