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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SpaceTransportation

Sigma KEE - SpaceTransportation
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 17726-17727
(subclass SpaceTransportation Transportation) Mid-level-ontology.kif 17725-17725

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


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

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


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

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


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


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