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 17699-17700
(subclass SpaceTransportation Transportation) Mid-level-ontology.kif 17698-17698 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

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


(=>
    (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

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


(=>
    (attribute ?ASTRONAUT Astronaut)
    (hasSkill SpaceTransportation ?ASTRONAUT))
Biography.kif 643-645
(=>
    (instance ?CRAFT Spacecraft)
    (capability SpaceTransportation instrument ?CRAFT))
Mid-level-ontology.kif 17715-17717


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