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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArtificialSatellite
ArtificialSatellite

appearance as argument number 1
-------------------------


(documentation ArtificialSatellite EnglishLanguage "An ArtificialSatellite is a Device that orbits the earth in space and performs various functions such as aiding in communication, photographing the earth's surface, and others.") Communications.kif 115-117
(subclass ArtificialSatellite EngineeringComponent) Communications.kif 113-113
(subclass ArtificialSatellite Satellite) Communications.kif 112-112

appearance as argument number 2
-------------------------


(subclass CommunicationSatellite ArtificialSatellite) Communications.kif 119-119
(termFormat ChineseLanguage ArtificialSatellite "人造卫星") domainEnglishFormat.kif 8535-8535
(termFormat ChineseTraditionalLanguage ArtificialSatellite "人造衛星") domainEnglishFormat.kif 8534-8534
(termFormat EnglishLanguage ArtificialSatellite "artificial satellite") domainEnglishFormat.kif 8533-8533
(termFormat EnglishLanguage ArtificialSatellite "satellite") Communications.kif 114-114

consequent
-------------------------


(=>
    (instance ?TV SatelliteTelevisionSystem)
    (exists (?SAT ?RECEIVE)
        (and
            (instance ?SAT ArtificialSatellite)
            (member ?SAT ?TV)
            (instance ?RECEIVE TelevisionReceiver)
            (member ?RECEIVE ?TV))))
Communications.kif 349-356


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