Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
geographicSubregion
Sigma KEE - geographicSubregion
geographicSubregion
appearance as argument number 1
(
documentation
geographicSubregion
ChineseLanguage
"(
geographicSubregion
?PART ?WHOLE)的 意思是
GeographicArea
?PART 是
GeographicArea
?WHOLE 的一部分。")
chinese_format.kif 1438-1439
(
documentation
geographicSubregion
EnglishLanguage
"(
geographicSubregion
?PART ?WHOLE) means that the
GeographicArea
?PART is part of the
GeographicArea
?WHOLE.")
Merge.kif 13908-13910
(
domain
geographicSubregion
1
GeographicArea
)
Merge.kif 13906-13906
domain
geographicSubregion
, 1 and
GeographicArea
(
domain
geographicSubregion
2
GeographicArea
)
Merge.kif 13907-13907
domain
geographicSubregion
, 2 and
GeographicArea
(
instance
geographicSubregion
AsymmetricRelation
)
Merge.kif 13903-13903
instance
geographicSubregion
and
AsymmetricRelation
(
instance
geographicSubregion
BinaryPredicate
)
Merge.kif 13901-13901
instance
geographicSubregion
and
BinaryPredicate
(
instance
geographicSubregion
TransitiveRelation
)
Merge.kif 13902-13902
instance
geographicSubregion
and
TransitiveRelation
(
subrelation
geographicSubregion
located
)
Merge.kif 13905-13905
subrelation
geographicSubregion
and
located
(
subrelation
geographicSubregion
properPart
)
Merge.kif 13904-13904
subrelation
geographicSubregion
and
properPart
appearance as argument number 2
(
format
ChineseLanguage
geographicSubregion
"%1 %n 是 %2 的 geographic 次要地区")
domainEnglishFormat.kif 1097-1097
(
format
ChineseTraditionalLanguage
geographicSubregion
"%1 %n 是 %2 的 geographic 次要地區")
domainEnglishFormat.kif 1096-1096
(
format
EnglishLanguage
geographicSubregion
"%1 is %n a geographic subregion of %2")
domainEnglishFormat.kif 1095-1095
(
subrelation
geopoliticalSubdivision
geographicSubregion
)
Merge.kif 13948-13948
subrelation
geopoliticalSubdivision
and
geographicSubregion
(
termFormat
ChineseLanguage
geographicSubregion
"地理分区域")
domainEnglishFormat.kif 25762-25762
(
termFormat
ChineseTraditionalLanguage
geographicSubregion
"地理分區域")
domainEnglishFormat.kif 25761-25761
(
termFormat
EnglishLanguage
geographicSubregion
"geographic subregion")
domainEnglishFormat.kif 25760-25760
antecedent
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1969-1980
instance
GeographicArea
and
GeographicArea
geographicSubregion
ElevationHighPointFn
GeographicArea
and
GeographicArea
elevation
ElevationHighPointFn
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
GeographicArea
RealNumber
geographicSubregion
GeographicArea
and
GeographicArea
equal
GeographicArea
and
ElevationHighPointFn
GeographicArea
elevation
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1945-1959
instance
GeographicArea
and
GeographicArea
geographicSubregion
ElevationLowPointFn
GeographicArea
and
GeographicArea
instance
UnitOfMeasure
and
UnitOfLength
elevation
ElevationLowPointFn
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
GeographicArea
RealNumber
geographicSubregion
GeographicArea
and
GeographicArea
equal
GeographicArea
and
ElevationLowPointFn
GeographicArea
elevation
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
lessThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
Media.kif 349-357
instance
GeographicArea
and
Nation
geographicSubregion
GeographicArea
and
NorthAmerica
geographicSubregion
GeographicArea
and
SouthAmerica
geographicSubregion
GeographicArea
and
WesternEurope
holdsDuring
WhenFn
GeographicArea
and
nationalHoliday
GeographicArea
and
ChristmasDay
(=>
(
and
(
instance
?SYSTEM
InlandWaterSystem
)
(
instance
?WATER1
WaterArea
)
(
instance
?WATER2
WaterArea
)
(
not
(
equal
?WATER1 ?WATER2))
(
not
(
connected
?WATER1 ?WATER2))
(
geographicSubregion
?WATER1 ?SYSTEM)
(
geographicSubregion
?WATER2 ?SYSTEM))
(
exists
(?WATER3)
(
and
(
instance
?WATER3
WaterArea
)
(
not
(
equal
?WATER3 ?WATER1))
(
not
(
equal
?WATER3 ?WATER1))
(
part
?WATER3 ?SYSTEM)
(
connects
?WATER3 ?WATER1 ?WATER2))))
Geography.kif 5289-5304
instance
GeographicArea
and
InlandWaterSystem
instance
GeographicArea
and
WaterArea
instance
GeographicArea
and
WaterArea
equal
GeographicArea
and
GeographicArea
connected
GeographicArea
and
GeographicArea
geographicSubregion
GeographicArea
and
GeographicArea
geographicSubregion
GeographicArea
and
GeographicArea
Object
instance
Object
and
WaterArea
equal
Object
and
GeographicArea
equal
Object
and
GeographicArea
part
Object
and
GeographicArea
connects
Object
,
GeographicArea
and
GeographicArea
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23337-23341
locatedAtTime
Object
,
TimePosition
and
GeographicArea
geographicSubregion
GeographicArea
and
GeographicArea
locatedAtTime
Object
,
TimePosition
and
GeographicArea
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2269-2274
naturalHazardTypeInArea
GeographicArea
and
Physical
geographicSubregion
GeographicArea
and
GeographicArea
instance
GeographicArea
and
Nation
naturalHazardTypeInArea
GeographicArea
and
Physical
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
partlyLocated
Physical
and
GeographicArea
instance
GeographicArea
and
GeographicArea
geographicSubregion
GeographicArea
and
GeographicArea
partlyLocated
Physical
and
GeographicArea
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
instance
?AREA
StateOrProvince
))
(
postDistrict
?PLACE ?AREA))
Mid-level-ontology.kif 24613-24618
postCity
PostalPlace
and
City
geographicSubregion
City
and
StateOrProvince
instance
StateOrProvince
and
StateOrProvince
postDistrict
PostalPlace
and
StateOrProvince
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24620-24627
postCity
PostalPlace
and
City
geographicSubregion
City
and
GeopoliticalArea
instance
GeopoliticalArea
and
Nation
instance
GeopoliticalArea
and
DependencyOrSpecialSovereigntyArea
postCountry
PostalPlace
and
GeopoliticalArea
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 24574-24579
postNeighborhood
PostalPlace
and
Neighborhood
geographicSubregion
Neighborhood
and
City
instance
City
and
City
postCity
PostalPlace
and
City
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?STATE)
(
instance
?STATE
StateOrProvince
))
(
postDistrict
?PLACE ?STATE))
Mid-level-ontology.kif 24581-24586
postNeighborhood
PostalPlace
and
Neighborhood
geographicSubregion
Neighborhood
and
StateOrProvince
instance
StateOrProvince
and
StateOrProvince
postDistrict
PostalPlace
and
StateOrProvince
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 24688-24693
postPostcodeArea
PostalPlace
and
PostcodeArea
geographicSubregion
PostcodeArea
and
City
instance
City
and
City
postCity
PostalPlace
and
City
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?GEO)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 24695-24700
postPostcodeArea
PostalPlace
and
PostcodeArea
geographicSubregion
PostcodeArea
and
StateOrProvince
instance
StateOrProvince
and
StateOrProvince
postDistrict
PostalPlace
and
StateOrProvince
consequent
(=>
(
and
(
arableLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?ARABLE)
(
and
(
instance
?ARABLE
ArableLand
)
(
geographicSubregion
?ARABLE ?REGION)
(
measure
?ARABLE
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2097-2111
arableLandArea
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
greaterThanOrEqualTo
RealNumber
and 0.0
totalArea
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfArea
GeographicArea
instance
GeographicArea
and
ArableLand
geographicSubregion
GeographicArea
and
GeographicArea
measure
GeographicArea
and
MeasureFn
MultiplicationFn
RealNumber
and
RealNumber
and
UnitOfMeasure
(=>
(
and
(
holdsDuring
?T1
(
and
(
attribute
?PERSON
DislocatedCivilian
)
(
inhabits
?PERSON ?RESIDENCE)
(
located
?RESIDENCE ?PLACE)))
(
instance
?PLACE
GeographicArea
)
(
instance
?T1
TimeInterval
))
(
exists
(?T0 ?PRIOR-PLACE ?PRIOR-RES)
(
and
(
instance
?T0
TimeInterval
)
(
earlier
?T0 ?T1)
(
instance
?PRIOR-RES
Object
)
(
instance
?PRIOR-PLACE
GeopoliticalArea
)
(
located
?PRIOR-RES ?PRIOR-PLACE)
(
not
(
equal
?PLACE ?PRIOR-PLACE))
(
not
(
equal
?RESIDENCE ?PRIOR-RES))
(
not
(
geographicSubregion
?PLACE ?PRIOR-PLACE))
(
not
(
geographicSubregion
?PRIOR-PLACE ?PLACE))
(
holdsDuring
?T0
(
inhabits
?PERSON ?PRIOR-RES)))))
MilitaryPersons.kif 26-47
holdsDuring
TimeInterval
and
attribute
entity
and
DislocatedCivilian
inhabits
entity
and
entity
located
entity
and
GeographicArea
instance
GeographicArea
and
GeographicArea
instance
TimeInterval
and
TimeInterval
TimeInterval
entity
-PLACE and
entity
-RES
instance
TimeInterval
and
TimeInterval
earlier
TimeInterval
and
TimeInterval
instance
entity
-RES and
Object
instance
entity
-PLACE and
GeopoliticalArea
located
entity
-RES and
entity
-PLACE
equal
GeographicArea
and
entity
-PLACE
equal
entity
and
entity
-RES
geographicSubregion
GeographicArea
and
entity
-PLACE
geographicSubregion
entity
-PLACE and
GeographicArea
holdsDuring
TimeInterval
and
inhabits
entity
and
entity
-RES
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationHighPointFn
?AREA) ?AREA)
(
elevation
(
ElevationHighPointFn
?AREA)
(
MeasureFn
?ELEV1 ?UNIT)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationHighPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?UNIT))
(
greaterThan
?ELEV2 ?ELEV1)))))
Geography.kif 1969-1980
instance
GeographicArea
and
GeographicArea
geographicSubregion
ElevationHighPointFn
GeographicArea
and
GeographicArea
elevation
ElevationHighPointFn
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
GeographicArea
RealNumber
geographicSubregion
GeographicArea
and
GeographicArea
equal
GeographicArea
and
ElevationHighPointFn
GeographicArea
elevation
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
greaterThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?AREA
GeographicArea
)
(
geographicSubregion
(
ElevationLowPointFn
?AREA) ?AREA)
(
instance
?U
UnitOfLength
)
(
elevation
(
ElevationLowPointFn
?AREA)
(
MeasureFn
?ELEV1 ?U)))
(
not
(
exists
(?OTHER ?ELEV2)
(
and
(
geographicSubregion
?OTHER ?AREA)
(
not
(
equal
?OTHER
(
ElevationLowPointFn
?AREA)))
(
elevation
?OTHER
(
MeasureFn
?ELEV2 ?U))
(
lessThan
?ELEV2 ?ELEV1)))))
Geography.kif 1945-1959
instance
GeographicArea
and
GeographicArea
geographicSubregion
ElevationLowPointFn
GeographicArea
and
GeographicArea
instance
UnitOfMeasure
and
UnitOfLength
elevation
ElevationLowPointFn
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
GeographicArea
RealNumber
geographicSubregion
GeographicArea
and
GeographicArea
equal
GeographicArea
and
ElevationLowPointFn
GeographicArea
elevation
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
lessThan
RealNumber
and
RealNumber
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
instance
DirectionalAttribute
and
DirectionalAttribute
instance
GeographicArea
and
GeographicArea
instance
DirectionalSubregionFn
DirectionalAttribute
and
GeographicArea
and
GeographicArea
geographicSubregion
DirectionalSubregionFn
DirectionalAttribute
and
GeographicArea
and
GeographicArea
(=>
(
and
(
instance
?EV
Evacuation
)
(
origin
?EV ?OR)
(
agent
?EV ?A))
(
exists
(?P)
(
and
(
instance
?P
Process
)
(
geographicSubregion
?OR
(
WhereFn
?P
(
BeginFn
(
WhenFn
?EV))))
(
causes
?P ?EV)
(
believes
?A
(
attribute
?P
Dangerous
)))))
MilitaryProcesses.kif 2516-2530
instance
Process
and
Evacuation
origin
Process
and
GeographicArea
agent
Process
and
CognitiveAgent
Process
instance
Process
and
Process
geographicSubregion
GeographicArea
and
WhereFn
Process
and
BeginFn
WhenFn
Process
causes
Process
and
Process
believes
CognitiveAgent
and
attribute
Process
and
Dangerous
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
instance
GeographicArea
and
GeographicArea
instance
GeographicCenterFn
GeographicArea
and
GeographicArea
geographicSubregion
GeographicCenterFn
GeographicArea
and
GeographicArea
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesFreightTransportation
))
(
exists
(?FREIGHT ?SHIP ?WATER)
(
and
(
subProcess
?FREIGHT ?X)
(
instance
?FREIGHT
WaterTransportation
)
(
instrument
?FREIGHT ?SHIP)
(
instance
?SHIP
CargoShip
)
(
eventLocated
?FREIGHT ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
))))
naics.kif 8184-8197
instance
ServiceProcess
and
WaterTransportationService
serviceProvider
ServiceProcess
and
CognitiveAgent
attribute
CognitiveAgent
and
CoastalAndGreatLakesFreightTransportation
Process
Object
and
GeographicArea
subProcess
Process
and
ServiceProcess
instance
Process
and
WaterTransportation
instrument
Process
and
Object
instance
Object
and
CargoShip
eventLocated
Process
and
GeographicArea
instance
GeographicArea
and
WaterArea
geographicSubregion
GeographicArea
and
UnitedStates
(=>
(
and
(
instance
?X
WaterTransportationService
)
(
serviceProvider
?X ?Y)
(
attribute
?Y
CoastalAndGreatLakesPassengerTransportation
))
(
exists
(?CRUISE ?SHIP ?WATER)
(
and
(
subProcess
?CRUISE ?X)
(
instance
?CRUISE
WaterTransportation
)
(
instrument
?CRUISE ?SHIP)
(
instance
?SHIP
PassengerShip
)
(
eventLocated
?CRUISE ?WATER)
(
instance
?WATER
WaterArea
)
(
geographicSubregion
?WATER
UnitedStates
)
(
not
(
exists
(?FERRY)
(
and
(
instance
?FERRY
ShortSeaPassengerShip
)
(
equal
?SHIP ?FERRY)))))))
naics.kif 8207-8225
instance
ServiceProcess
and
WaterTransportationService
serviceProvider
ServiceProcess
and
CognitiveAgent
attribute
CognitiveAgent
and
CoastalAndGreatLakesPassengerTransportation
Process
Object
and
GeographicArea
subProcess
Process
and
ServiceProcess
instance
Process
and
WaterTransportation
instrument
Process
and
Object
instance
Object
and
PassengerShip
eventLocated
Process
and
GeographicArea
instance
GeographicArea
and
WaterArea
geographicSubregion
GeographicArea
and
UnitedStates
Entity
instance
Entity
and
ShortSeaPassengerShip
equal
Object
and
Entity
(=>
(
and
(
irrigatedLandArea
?REGION
(
MeasureFn
?AMOUNT ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?IRRLAND)
(
and
(
instance
?IRRLAND
IrrigatedLand
)
(
geographicSubregion
?IRRLAND ?REGION)
(
measure
?IRRLAND
(
MeasureFn
?AMOUNT ?UNIT)))))
Geography.kif 2244-2254
irrigatedLandArea
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfArea
GeographicArea
instance
GeographicArea
and
IrrigatedLand
geographicSubregion
GeographicArea
and
GeographicArea
measure
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
(=>
(
and
(
otherLandUseArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?OTHER)
(
and
(
instance
?OTHER
LandArea
)
(
not
(
instance
?OTHER
ArableLand
))
(
not
(
instance
?OTHER
PermanentCropLand
))
(
geographicSubregion
?OTHER ?REGION)
(
measure
?OTHER
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2183-2201
otherLandUseArea
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
greaterThanOrEqualTo
RealNumber
and 0.0
totalArea
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfArea
GeographicArea
instance
GeographicArea
and
LandArea
instance
GeographicArea
and
ArableLand
instance
GeographicArea
and
PermanentCropLand
geographicSubregion
GeographicArea
and
GeographicArea
measure
GeographicArea
and
MeasureFn
MultiplicationFn
RealNumber
and
RealNumber
and
UnitOfMeasure
(=>
(
and
(
permanentCropLandArea
?REGION
(
MeasureFn
?FRACTION ?UNIT))
(
greaterThanOrEqualTo
?FRACTION 0.0)
(
totalArea
?REGION
(
MeasureFn
?TOTAL ?UNIT))
(
instance
?UNIT
UnitOfArea
))
(
exists
(?PERMCROP)
(
and
(
instance
?PERMCROP
PermanentCropLand
)
(
geographicSubregion
?PERMCROP ?REGION)
(
measure
?PERMCROP
(
MeasureFn
(
MultiplicationFn
?FRACTION ?TOTAL) ?UNIT)))))
Geography.kif 2143-2157
permanentCropLandArea
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
greaterThanOrEqualTo
RealNumber
and 0.0
totalArea
GeographicArea
and
MeasureFn
RealNumber
and
UnitOfMeasure
instance
UnitOfMeasure
and
UnitOfArea
GeographicArea
instance
GeographicArea
and
PermanentCropLand
geographicSubregion
GeographicArea
and
GeographicArea
measure
GeographicArea
and
MeasureFn
MultiplicationFn
RealNumber
and
RealNumber
and
UnitOfMeasure
(=>
(
instance
?AREA
Continent
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3448-3450
instance
GeographicArea
and
Continent
geographicSubregion
GeographicArea
and
PlanetEarth
(=>
(
instance
?AREA
Hemisphere
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3401-3403
instance
GeographicArea
and
Hemisphere
geographicSubregion
GeographicArea
and
PlanetEarth
(=>
(
instance
?AREA
PostcodeArea
)
(
exists
(?GEO)
(
geographicSubregion
?AREA ?GEO)))
Mid-level-ontology.kif 24666-24669
instance
GeographicArea
and
PostcodeArea
GeographicArea
geographicSubregion
GeographicArea
and
GeographicArea
(=>
(
instance
?PLACE
Neighborhood
)
(
exists
(?AREA)
(
geographicSubregion
?PLACE ?AREA)))
Mid-level-ontology.kif 24554-24557
instance
GeographicArea
and
Neighborhood
GeographicArea
geographicSubregion
GeographicArea
and
GeographicArea
(=>
(
instance
?PORT
DeepDraftPort
)
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
DeepDraftHarbor
)
(
geographicSubregion
?HARBOR ?PORT))))
Transportation.kif 888-893
instance
GeographicArea
and
DeepDraftPort
GeographicArea
instance
GeographicArea
and
DeepDraftHarbor
geographicSubregion
GeographicArea
and
GeographicArea
(=>
(
instance
?STORM
TropicalCyclonicSystem
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
geographicSubregion
?PLACE
Tropics
)
(
origin
?STORM ?PLACE))))
Weather.kif 619-625
instance
Process
and
TropicalCyclonicSystem
GeographicArea
instance
GeographicArea
and
GeographicArea
geographicSubregion
GeographicArea
and
Tropics
origin
Process
and
GeographicArea
(=>
(
instance
?SYSTEM
InlandWaterSystem
)
(
exists
(?BODY1 ?BODY2)
(
and
(
instance
?BODY1
BodyOfWater
)
(
instance
?BODY2
BodyOfWater
)
(
not
(
equal
?BODY1 ?BODY2))
(
geographicSubregion
?BODY1 ?SYSTEM)
(
geographicSubregion
?BODY2 ?SYSTEM))))
Geography.kif 5257-5265
instance
GeographicArea
and
InlandWaterSystem
GeographicArea
GeographicArea
instance
GeographicArea
and
BodyOfWater
instance
GeographicArea
and
BodyOfWater
equal
GeographicArea
and
GeographicArea
geographicSubregion
GeographicArea
and
GeographicArea
geographicSubregion
GeographicArea
and
GeographicArea
appearance as argument number 0
(
geographicSubregion
AdanaTurkey
Turkey
)
CountriesAndRegions.kif 2494-2494
geographicSubregion
AdanaTurkey
and
Turkey
(
geographicSubregion
AddisAbabaEthiopia
Ethiopia
)
CountriesAndRegions.kif 2496-2496
geographicSubregion
AddisAbabaEthiopia
and
Ethiopia
(
geographicSubregion
AdenYemen
Yemen
)
CountriesAndRegions.kif 2498-2498
geographicSubregion
AdenYemen
and
Yemen
(
geographicSubregion
AdoraWestBank
WestBank
)
CountriesAndRegions.kif 2500-2500
geographicSubregion
AdoraWestBank
and
WestBank
(
geographicSubregion
Afghanistan
SouthernAsia
)
CountriesAndRegions.kif 567-567
geographicSubregion
Afghanistan
and
SouthernAsia
(
geographicSubregion
Africa
EasternHemisphere
)
Geography.kif 3458-3458
geographicSubregion
Africa
and
EasternHemisphere
(
geographicSubregion
AfulaIsrael
Israel
)
CountriesAndRegions.kif 2502-2502
geographicSubregion
AfulaIsrael
and
Israel
(
geographicSubregion
AgriTurkey
Turkey
)
CountriesAndRegions.kif 2504-2504
geographicSubregion
AgriTurkey
and
Turkey
(
geographicSubregion
AinDeflaAlgeria
Algeria
)
CountriesAndRegions.kif 2506-2506
geographicSubregion
AinDeflaAlgeria
and
Algeria
(
geographicSubregion
AinElHajarAlgeria
Algeria
)
CountriesAndRegions.kif 2508-2508
geographicSubregion
AinElHajarAlgeria
and
Algeria
(
geographicSubregion
AjaccioFrance
France
)
CountriesAndRegions.kif 2510-2510
geographicSubregion
AjaccioFrance
and
France
(
geographicSubregion
AlBalamandLebanon
Lebanon
)
CountriesAndRegions.kif 2512-2512
geographicSubregion
AlBalamandLebanon
and
Lebanon
(
geographicSubregion
Albania
SoutheasternEurope
)
CountriesAndRegions.kif 370-370
geographicSubregion
Albania
and
SoutheasternEurope
(
geographicSubregion
AleiSinaiGazaStrip
GazaStrip
)
CountriesAndRegions.kif 2514-2514
geographicSubregion
AleiSinaiGazaStrip
and
GazaStrip
(
geographicSubregion
AleiZahavWestBank
WestBank
)
CountriesAndRegions.kif 2516-2516
geographicSubregion
AleiZahavWestBank
and
WestBank
(
geographicSubregion
AleyLebanon
Lebanon
)
CountriesAndRegions.kif 2518-2518
geographicSubregion
AleyLebanon
and
Lebanon
(
geographicSubregion
Algeria
NorthernAfrica
)
CountriesAndRegions.kif 116-116
geographicSubregion
Algeria
and
NorthernAfrica
(
geographicSubregion
AlgiersAlgeria
Algeria
)
CountriesAndRegions.kif 2520-2520
geographicSubregion
AlgiersAlgeria
and
Algeria
(
geographicSubregion
AlkhanYurtRussia
Russia
)
CountriesAndRegions.kif 2522-2522
geographicSubregion
AlkhanYurtRussia
and
Russia
(
geographicSubregion
AlonMorehWestBank
WestBank
)
CountriesAndRegions.kif 2524-2524
geographicSubregion
AlonMorehWestBank
and
WestBank
(
geographicSubregion
AmbonIndonesia
Indonesia
)
CountriesAndRegions.kif 2526-2526
geographicSubregion
AmbonIndonesia
and
Indonesia
(
geographicSubregion
AmericanSamoa
Oceania
)
CountriesAndRegions.kif 659-659
geographicSubregion
AmericanSamoa
and
Oceania
(
geographicSubregion
AmmanJordan
Jordan
)
CountriesAndRegions.kif 2528-2528
geographicSubregion
AmmanJordan
and
Jordan
(
geographicSubregion
AnNuwaydiratBahrain
Bahrain
)
CountriesAndRegions.kif 2530-2530
geographicSubregion
AnNuwaydiratBahrain
and
Bahrain
(
geographicSubregion
AndeanSpain
Spain
)
CountriesAndRegions.kif 2532-2532
geographicSubregion
AndeanSpain
and
Spain
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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