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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Spacecraft
Spacecraft(宇宙飞船)

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


(documentation Spacecraft EnglishLanguage "Any Vehicle which is capable of SpaceTransportation.") Mid-level-ontology.kif 17712-17713
(externalImage Spacecraft "http://upload.wikimedia.org/wikipedia/commons/ 4/ 41/ Space_Shuttle_Columbia_launching.jpg") pictureList.kif 2369-2369
(externalImage Spacecraft "http://upload.wikimedia.org/wikipedia/commons/ b/ b8/ Discovery_open.jpg") pictureList.kif 1996-1996
(subclass Spacecraft Vehicle) Mid-level-ontology.kif 17711-17711 宇宙飞船车辆subclass

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


(subclass Rocket Spacecraft) Mid-level-ontology.kif 17719-17719 火箭宇宙飞船subclass
(termFormat ChineseLanguage Spacecraft "宇宙飞船") domainEnglishFormat.kif 54408-54408
(termFormat ChineseTraditionalLanguage Spacecraft "宇宙飛船") domainEnglishFormat.kif 54407-54407
(termFormat EnglishLanguage Spacecraft "spacecraft") domainEnglishFormat.kif 54406-54406

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


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

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


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


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