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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - SpaceTransportation
SpaceTransportation(space transportation)gravity-assist, space_travel, spacefaring, spaceflight

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 17698-17699
(subclass SpaceTransportation Transportation) Mid-level-ontology.kif 17697-17697 Space transportation is a subclass of transportation

appearance as argument number 2

(termFormat ChineseLanguage SpaceTransportation "太空运输") domainEnglishFormat.kif 54426-54426
(termFormat ChineseTraditionalLanguage SpaceTransportation "太空運輸") domainEnglishFormat.kif 54425-54425
(termFormat EnglishLanguage SpaceTransportation "space transportation") domainEnglishFormat.kif 54424-54424


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


    (attribute ?ASTRONAUT Astronaut)
    (hasSkill SpaceTransportation ?ASTRONAUT))
Biography.kif 643-645
    (instance ?CRAFT Spacecraft)
    (capability SpaceTransportation instrument ?CRAFT))
Mid-level-ontology.kif 17714-17716

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