SpaceTransportation - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SpaceTransportation Transportation)	Mid-level-ontology.kif 19618-19618	Space transportation is a subclass of transportation
(documentation SpaceTransportation EnglishLanguage "Any instance of Transportation where the instrument is a Spacecraft and which is through a SpaceRegion.")	Mid-level-ontology.kif 19619-19620	Space transportation is a subclass of transportation

appearance as argument number 2

(termFormat EnglishLanguage SpaceTransportation "space transportation")	domainEnglishFormat.kif 54421-54421
(termFormat ChineseTraditionalLanguage SpaceTransportation "太空運輸")	domainEnglishFormat.kif 54422-54422
(termFormat ChineseLanguage SpaceTransportation "太空运输")	domainEnglishFormat.kif 54423-54423

antecedent

(=>
    (instance ?TRANSPORT SpaceTransportation)
    (exists (?CRAFT ?REGION)
        (and
            (instance ?CRAFT Spacecraft)
            (instance ?REGION SpaceRegion)
            (instrument ?TRANSPORT ?CRAFT)
            (eventLocated ?TRANSPORT ?REGION))))

If X is an instance of space transportation, then there exist Y, Z such that Y is an instance of spacecraft, Z is an instance of space region, Y is an instrument for X, and X is located at Z

consequent

(=> (instance ?CRAFT Spacecraft) (capability SpaceTransportation instrument ?CRAFT))	Mid-level-ontology.kif 19635-19637	If X is an instance of spacecraft, then X is capable of doing space transportation as a instrument
(=> (attribute ?ASTRONAUT Astronaut) (hasSkill SpaceTransportation ?ASTRONAUT))	Biography.kif 651-653	If Astronaut is an attribute of X, then X has the skill to do space transportation