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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - SpaceTransportation

appearance as argument number 1

(documentation SpaceTransportation EnglishLanguage "Any instance of Transportation where the instrument is a Spacecraft and which is through a SpaceRegion.") Mid-level-ontology.kif 17091-17092
(subclass SpaceTransportation Transportation) Mid-level-ontology.kif 17090-17090

appearance as argument number 2

(termFormat ChineseLanguage SpaceTransportation "太空运输") domainEnglishFormat.kif 54405-54405
(termFormat ChineseTraditionalLanguage SpaceTransportation "太空運輸") domainEnglishFormat.kif 54404-54404
(termFormat EnglishLanguage SpaceTransportation "space transportation") domainEnglishFormat.kif 54403-54403


    (instance ?TRANSPORT SpaceTransportation)
    (exists (?CRAFT ?REGION)
            (instance ?CRAFT Spacecraft)
            (instance ?REGION SpaceRegion)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?REGION))))
Mid-level-ontology.kif 17094-17101


    (attribute ?ASTRONAUT Astronaut)
    (hasSkill SpaceTransportation ?ASTRONAUT))
Biography.kif 411-413
    (instance ?CRAFT Spacecraft)
    (capability SpaceTransportation instrument ?CRAFT))
Mid-level-ontology.kif 17107-17109

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