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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CommunicationSatellite

Sigma KEE - CommunicationSatellite
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


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

Show without tree


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