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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Spacecraft

Sigma KEE - Spacecraft
Spacecraft

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


(documentation Spacecraft EnglishLanguage "Any Vehicle which is capable of SpaceTransportation.") Mid-level-ontology.kif 17183-17184
(externalImage Spacecraft "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Space_Shuttle_Columbia_launching.jpg") pictureList.kif 2370-2370
(externalImage Spacecraft "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Discovery_open.jpg") pictureList.kif 1997-1997
(subclass Spacecraft Vehicle) Mid-level-ontology.kif 17182-17182

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


(subclass Rocket Spacecraft) Mid-level-ontology.kif 17190-17190
(termFormat ChineseLanguage Spacecraft "宇宙飞船") domainEnglishFormat.kif 54387-54387
(termFormat ChineseTraditionalLanguage Spacecraft "宇宙飛船") domainEnglishFormat.kif 54386-54386
(termFormat EnglishLanguage Spacecraft "spacecraft") domainEnglishFormat.kif 54385-54385

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


(=>
    (instance ?CRAFT Spacecraft)
    (capability SpaceTransportation instrument ?CRAFT))
Mid-level-ontology.kif 17186-17188

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


(=>
    (instance ?TRANSPORT SpaceTransportation)
    (exists (?CRAFT ?REGION)
        (and
            (instance ?CRAFT Spacecraft)
            (instance ?REGION SpaceRegion)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?REGION))))
Mid-level-ontology.kif 17173-17180


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