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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ArtificialSatellite
ArtificialSatellite(artificial satellite)artificial_satellite, orbiter, satellite

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 Artificial satellite is a subclass of engineering component
(subclass ArtificialSatellite Satellite) Communications.kif 112-112 Artificial satellite is a subclass of satellite

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


(subclass CommunicationSatellite ArtificialSatellite) Communications.kif 119-119 Communication satellite is a subclass of artificial satellite
(termFormat ChineseLanguage ArtificialSatellite "人造卫星") domainEnglishFormat.kif 8526-8526
(termFormat ChineseTraditionalLanguage ArtificialSatellite "人造衛星") domainEnglishFormat.kif 8525-8525
(termFormat EnglishLanguage ArtificialSatellite "artificial satellite") domainEnglishFormat.kif 8524-8524
(termFormat EnglishLanguage ArtificialSatellite "satellite") Communications.kif 114-114

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


(=>
    (instance ?SP SatellitePhone)
    (hasPurpose ?SP
        (exists (?RE ?S)
            (and
                (instance ?S ArtificialSatellite)
                (instance ?RE RadioEmission)
                (origin ?RE ?SP)
                (destination ?RE ?SP)))))
Mid-level-ontology.kif 25133-25141
(=>
    (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