Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - CommunicationSatellite
CommunicationSatellite(communication satellite)

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 16054-16054 Orbita is a subclass of communication satellite
(termFormat ChineseTraditionalLanguage CommunicationSatellite "通信衛星") domainEnglishFormat.kif 16053-16053 Orbita is a subclass of communication satellite
(termFormat EnglishLanguage CommunicationSatellite "communication satellite") domainEnglishFormat.kif 16052-16052 Orbita is a subclass of communication satellite
(termFormat EnglishLanguage CommunicationSatellite "communications satellite") Communications.kif 121-121 Orbita is a subclass of communication satellite

antecedent
-------------------------


(=>
    (instance ?SAT CommunicationSatellite)
    (exists (?SYSTEM)
        (and
            (instance ?SYSTEM CommunicationSystem)
            (engineeringSubcomponent ?SAT ?SYSTEM))))		 Communications.kif 125-130


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners