SpaceRegion - Sigma Knowledge base Browser

appearance as argument number 1

(subclass SpaceRegion Region)	Mid-level-ontology.kif 10434-10434	Space region is a subclass of region
(disjoint SpaceRegion GeographicArea)	Mid-level-ontology.kif 10435-10435	Space region is disjoint from geographic area
(partition SpaceRegion AtmosphericRegion OuterSpaceRegion)	Mid-level-ontology.kif 10436-10436	Space region is exhaustively partitioned into atmospheric region and outer space region
(documentation SpaceRegion EnglishLanguage "The class of all Regions which are not GeographicAreas.")	Mid-level-ontology.kif 10437-10438	Space region is exhaustively partitioned into atmospheric region and outer space region

appearance as argument number 2

(subclass AtmosphericRegion SpaceRegion)	Mid-level-ontology.kif 10395-10395	Atmospheric region is a subclass of space region
(subclass OuterSpaceRegion SpaceRegion)	Mid-level-ontology.kif 10440-10440	Outer space region is a subclass of space region
(termFormat EnglishLanguage SpaceRegion "space region")	domainEnglishFormat.kif 54409-54409	Outer space region is a subclass of space region
(termFormat ChineseTraditionalLanguage SpaceRegion "空間區域")	domainEnglishFormat.kif 54410-54410	Outer space region is a subclass of space region
(termFormat ChineseLanguage SpaceRegion "空间区域")	domainEnglishFormat.kif 54411-54411	Outer space region is a subclass of space region

appearance as argument number 3

(partition Region GeographicArea SpaceRegion)

consequent

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