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 ArtificialSatelliteエンジニアリング部品subclass では %n
(subclass ArtificialSatellite Satellite) Communications.kif 112-112 ArtificialSatelliteSatellitesubclass では %n

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


(subclass CommunicationSatellite ArtificialSatellite) Communications.kif 119-119 CommunicationSatelliteArtificialSatellitesubclass では %n
(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 25076-25084
(=>
    (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