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

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


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

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


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