Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
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 14019-14021
(
domain
geographicSubregion
1
GeographicArea
)
Merge.kif 14017-14017
The number 1 argument of
geographic subregion
is an
instance
of
geographic area
(
domain
geographicSubregion
2
GeographicArea
)
Merge.kif 14018-14018
The number 2 argument of
geographic subregion
is an
instance
of
geographic area
(
instance
geographicSubregion
AsymmetricRelation
)
Merge.kif 14014-14014
geographic subregion
is an
instance
of
asymmetric relation
(
instance
geographicSubregion
BinaryPredicate
)
Merge.kif 14012-14012
geographic subregion
is an
instance
of
binary predicate
(
instance
geographicSubregion
TransitiveRelation
)
Merge.kif 14013-14013
geographic subregion
is an
instance
of
transitive relation
(
subrelation
geographicSubregion
located
)
Merge.kif 14016-14016
geographic subregion
is a
subrelation
of
located
(
subrelation
geographicSubregion
properPart
)
Merge.kif 14015-14015
geographic subregion
is a
subrelation
of
proper part
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 14059-14059
geopolitical subdivision
is a
subrelation
of
geographic subregion
(
termFormat
ChineseLanguage
geographicSubregion
"地理分区域")
domainEnglishFormat.kif 25782-25782
(
termFormat
ChineseTraditionalLanguage
geographicSubregion
"地理分區域")
domainEnglishFormat.kif 25781-25781
(
termFormat
EnglishLanguage
geographicSubregion
"geographic subregion")
domainEnglishFormat.kif 25780-25780
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 1964-1975
If
a geographic area
is an
instance
of
geographic area
and the
elevation
high point of
the geographic area
is a
geographic
subregion of
the geographic area
and
a real number
an unit of measure
(s) is an
elevation
of the
elevation
high point of
the geographic area
,
then there don't exist
another geographic area
and
another real number
such that
the other geographic area
is a
geographic
subregion of
the geographic area
and
the other geographic area
is not
equal
to the
elevation
high point of
the geographic area
and
the other real number
the unit of measure
(s) is an
elevation
of
the other geographic area
and
the other real number
is
greater
than
the real number
(=>
(
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 1940-1954
If
a geographic area
is an
instance
of
geographic area
and the
elevation
low point of
the geographic area
is a
geographic
subregion of
the geographic area
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
elevation
of the
elevation
low point of
the geographic area
,
then there don't exist
another geographic area
and
another real number
such that
the other geographic area
is a
geographic
subregion of
the geographic area
and
the other geographic area
is not
equal
to the
elevation
low point of
the geographic area
and
the other real number
the unit of measure
(s) is an
elevation
of
the other geographic area
and
the other real number
is
less
than
the real number
(=>
(
and
(
instance
?NATION
Nation
)
(
or
(
geographicSubregion
?NATION
NorthAmerica
)
(
geographicSubregion
?NATION
SouthAmerica
)
(
geographicSubregion
?NATION
WesternEurope
)))
(
holdsDuring
(
WhenFn
?NATION)
(
nationalHoliday
?NATION
ChristmasDay
)))
Media.kif 349-357
If
a geographic area
is an
instance
of
nation
and
the geographic area
is a
geographic
subregion of
north america
or
the geographic area
is a
geographic
subregion of
south america
or
the geographic area
is a
geographic
subregion of
western europe
,
then
Christmas day
is a
national
holiday of
the geographic area
holds
during
the
time
of existence of
the geographic area
(=>
(
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 5358-5373
If
a geographic area
is an
instance
of
inland water system
and
another geographic area
is an
instance
of
water area
and
a third geographic area
is an
instance
of
water area
and
the other geographic area
is not
equal
to
the third geographic area
and
the other geographic area
is not
connected
to
the third geographic area
and
the other geographic area
is a
geographic
subregion of
the geographic area
and
the third geographic area
is a
geographic
subregion of
the geographic area
,
then there exists
an object
such that
the object
is an
instance
of
water area
and
the object
is not
equal
to
the other geographic area
and
the object
is not
equal
to
the other geographic area
and
the object
is a
part
of
the geographic area
and
the object
connect
s
the other geographic area
and
the third geographic area
(=>
(
and
(
locatedAtTime
?OBJ ?TIME ?PLACE)
(
geographicSubregion
?PLACE ?REGION))
(
locatedAtTime
?OBJ ?TIME ?REGION))
Mid-level-ontology.kif 23336-23340
If
an object
located
at time
a time position
for
a geographic area
and
the geographic area
is a
geographic
subregion of
another geographic area
,
then
the object
located
at time
the time position
for
the other geographic area
(=>
(
and
(
naturalHazardTypeInArea
?AREA ?TYPE)
(
geographicSubregion
?AREA ?COUNTRY)
(
instance
?COUNTRY
Nation
))
(
naturalHazardTypeInArea
?COUNTRY ?TYPE))
Geography.kif 2264-2269
If
a kind of physical
is a
natural
hazard type in area of
a geographic area
and
the geographic area
is a
geographic
subregion of
another geographic area
and
the other geographic area
is an
instance
of
nation
,
then
a kind of physical
is a
natural
hazard type in area of
the other geographic area
(=>
(
and
(
partlyLocated
?PLACE ?SUBAREA)
(
instance
?SUBAREA
GeographicArea
)
(
geographicSubregion
?SUBAREA ?AREA))
(
partlyLocated
?PLACE ?AREA))
Geography.kif 507-512
If
a physical
is
partly
located in
a geographic area
and
the geographic area
is an
instance
of
geographic area
and
the geographic area
is a
geographic
subregion of
another geographic area
,
then
the physical
is
partly
located in
the other geographic area
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
instance
?AREA
StateOrProvince
))
(
postDistrict
?PLACE ?AREA))
Mid-level-ontology.kif 24671-24676
If
a postal place
is in
a city
and
the city
is a
geographic
subregion of
a state or province
and
the state or province
is an
instance
of
state or province
,
then
the postal place
is in
the state or province
(=>
(
and
(
postCity
?PLACE ?CITY)
(
geographicSubregion
?CITY ?AREA)
(
or
(
instance
?AREA
Nation
)
(
instance
?AREA
DependencyOrSpecialSovereigntyArea
)))
(
postCountry
?PLACE ?AREA))
Mid-level-ontology.kif 24678-24685
If
a postal place
is in
a city
and
the city
is a
geographic
subregion of
a geopolitical area
and
the geopolitical area
is an
instance
of
nation
or
the geopolitical area
is an
instance
of
dependency or special sovereignty area
,
then
the postal place
is in
the geopolitical area
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 24632-24637
If
a postal place
is in
a neighborhood
and
the neighborhood
is a
geographic
subregion of
a city
and
the city
is an
instance
of
city
,
then
the postal place
is in
the city
(=>
(
and
(
postNeighborhood
?PLACE ?NEIGHBORHOOD)
(
geographicSubregion
?NEIGHBORHOOD ?STATE)
(
instance
?STATE
StateOrProvince
))
(
postDistrict
?PLACE ?STATE))
Mid-level-ontology.kif 24639-24644
If
a postal place
is in
a neighborhood
and
the neighborhood
is a
geographic
subregion of
a state or province
and
the state or province
is an
instance
of
state or province
,
then
the postal place
is in
the state or province
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?CITY)
(
instance
?CITY
City
))
(
postCity
?PLACE ?CITY))
Mid-level-ontology.kif 24746-24751
If
a postal place
is in
post
code
a postcode area
and
the postcode area
is a
geographic
subregion of
a city
and
the city
is an
instance
of
city
,
then
the postal place
is in
the city
(=>
(
and
(
postPostcodeArea
?PLACE ?AREA)
(
geographicSubregion
?AREA ?GEO)
(
instance
?GEO
StateOrProvince
))
(
postDistrict
?PLACE ?GEO))
Mid-level-ontology.kif 24753-24758
If
a postal place
is in
post
code
a postcode area
and
the postcode area
is a
geographic
subregion of
a state or province
and
the state or province
is an
instance
of
state or province
,
then
the postal place
is in
the state or province
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 2092-2106
If
a real number
an unit of measure
(s) is an
arable
land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
unit of area
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
arable land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the real number
and
the other real number
the unit of measure
(s)
(=>
(
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
If
dislocated civilian
is an
attribute
of
an entity
and
the entity
live
s in
another entity
and
the other entity
is
located
at
a geographic area
holds
during
a time interval
and
the geographic area
is an
instance
of
geographic area
and
the time interval
is an
instance
of
time interval
,
then there exist
another time interval
,
a third entity
-PLACE and
the third entity
-RES such that
the other time interval
is an
instance
of
time interval
and
the other time interval
happens
earlier
than
the time interval
and
the third entity
-RES is an
instance
of
object
and
the third entity
-PLACE is an
instance
of
geopolitical area
and
the third entity
-RES is
located
at
the third entity
-PLACE and
the geographic area
is not
equal
to
the third entity
-PLACE and
the other entity
is not
equal
to
the third entity
-RES and
the geographic area
is not a
geographic
subregion of
the third entity
-PLACE and
the third entity
-PLACE is not a
geographic
subregion of
the geographic area
and
the entity
live
s in
the third entity
-RES holds
during
the other time interval
(=>
(
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 1964-1975
If
a geographic area
is an
instance
of
geographic area
and the
elevation
high point of
the geographic area
is a
geographic
subregion of
the geographic area
and
a real number
an unit of measure
(s) is an
elevation
of the
elevation
high point of
the geographic area
,
then there don't exist
another geographic area
and
another real number
such that
the other geographic area
is a
geographic
subregion of
the geographic area
and
the other geographic area
is not
equal
to the
elevation
high point of
the geographic area
and
the other real number
the unit of measure
(s) is an
elevation
of
the other geographic area
and
the other real number
is
greater
than
the real number
(=>
(
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 1940-1954
If
a geographic area
is an
instance
of
geographic area
and the
elevation
low point of
the geographic area
is a
geographic
subregion of
the geographic area
and
an unit of measure
is an
instance
of
unit of length
and
a real number
the unit of measure
(s) is an
elevation
of the
elevation
low point of
the geographic area
,
then there don't exist
another geographic area
and
another real number
such that
the other geographic area
is a
geographic
subregion of
the geographic area
and
the other geographic area
is not
equal
to the
elevation
low point of
the geographic area
and
the other real number
the unit of measure
(s) is an
elevation
of
the other geographic area
and
the other real number
is
less
than
the real number
(=>
(
and
(
instance
?DIRECTION
DirectionalAttribute
)
(
instance
?AREA
GeographicArea
)
(
instance
(
DirectionalSubregionFn
?DIRECTION ?AREA)
GeographicArea
))
(
geographicSubregion
(
DirectionalSubregionFn
?DIRECTION ?AREA) ?AREA))
Geography.kif 493-498
If
a directional attribute
is an
instance
of
directional attribute
and
a geographic area
is an
instance
of
geographic area
and the
directional
subregion of
the directional attribute
and
the geographic area
is an
instance
of
geographic area
,
then the
directional
subregion of
the directional attribute
and
the geographic area
is a
geographic
subregion of
the geographic area
(=>
(
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
If
a process
is an
instance
of
evacuating
and
the process
originate
s at
a geographic area
and
a cognitive agent
is an
agent
of
the process
,
then there exists
another process
such that
the other process
is an
instance
of
process
and
the geographic area
is a
geographic
subregion of the place
where
the other process
was at the
beginning
of the
time
of existence of
the process
and
the other process
cause
s
the process
and
the cognitive agent
believe
s
dangerous
is an
attribute
of
the other process
(=>
(
and
(
instance
?REGION
GeographicArea
)
(
instance
(
GeographicCenterFn
?REGION)
GeographicArea
))
(
geographicSubregion
(
GeographicCenterFn
?REGION) ?REGION))
Geography.kif 342-346
If
a geographic area
is an
instance
of
geographic area
and the
geographic
center of
the geographic area
is an
instance
of
geographic area
,
then the
geographic
center of
the geographic area
is a
geographic
subregion of
the geographic area
(=>
(
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
If
a service
is an
instance
of
Water Transportation Service
and
a cognitive agent
provides a service during
the service
and
coastal and great lakes freight transportation
is an
attribute
of
the cognitive agent
,
then there exist
a process
,
an object
and
a geographic area
such that
the process
is a
subprocess
of
the service
and
the process
is an
instance
of
water transportation
and
the object
is an
instrument
for
the process
and
the object
is an
instance
of
cargo ship
and
the process
is
located
at
the geographic area
and
the geographic area
is an
instance
of
water area
and
the geographic area
is a
geographic
subregion of
united states
(=>
(
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
If
a service
is an
instance
of
Water Transportation Service
and
a cognitive agent
provides a service during
the service
and
coastal and great lakes passenger transportation
is an
attribute
of
the cognitive agent
,
then there exist
a process
,
an object
and
a geographic area
such that
the process
is a
subprocess
of
the service
and
the process
is an
instance
of
water transportation
and
the object
is an
instrument
for
the process
and
the object
is an
instance
of
passenger ship
and
the process
is
located
at
the geographic area
and
the geographic area
is an
instance
of
water area
and
the geographic area
is a
geographic
subregion of
united states
and there doesn't exist
an entity
such that
the entity
is an
instance
of
short sea passenger ship
and
the object
is
equal
to
the 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 2239-2249
If
a real number
an unit of measure
(s) is an
irrigated
land area of
a geographic area
and
the unit of measure
is an
instance
of
unit of area
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
irrigated land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the real number
the unit of measure
(s)
(=>
(
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 2178-2196
If
a real number
an unit of measure
(s) is an
other
land use area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
unit of area
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
land area
and
the other geographic area
is not an
instance
of
arable land
and
the other geographic area
is not an
instance
of
permanent crop land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the real number
and
the other real number
the unit of measure
(s)
(=>
(
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 2138-2152
If
a real number
an unit of measure
(s) is a
permanent
crop land area of
a geographic area
and
the real number
is
greater
than or equal to 0.0 and
another real number
the unit of measure
(s) is a
total
area of
the geographic area
and
the unit of measure
is an
instance
of
unit of area
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
permanent crop land
and
the other geographic area
is a
geographic
subregion of
the geographic area
and the
measure
of
the other geographic area
is
the real number
and
the other real number
the unit of measure
(s)
(=>
(
instance
?AREA
Continent
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3515-3517
If
a geographic area
is an
instance
of
continent
,
then
the geographic area
is a
geographic
subregion of
planet earth
(=>
(
instance
?AREA
Hemisphere
)
(
geographicSubregion
?AREA
PlanetEarth
))
Geography.kif 3468-3470
If
a geographic area
is an
instance
of
hemisphere
,
then
the geographic area
is a
geographic
subregion of
planet earth
(=>
(
instance
?AREA
PostcodeArea
)
(
exists
(?GEO)
(
geographicSubregion
?AREA ?GEO)))
Mid-level-ontology.kif 24724-24727
If
a geographic area
is an
instance
of
postcode area
,
then there exists
another geographic area
such that
the geographic area
is a
geographic
subregion of
the other geographic area
(=>
(
instance
?PLACE
Neighborhood
)
(
exists
(?AREA)
(
geographicSubregion
?PLACE ?AREA)))
Mid-level-ontology.kif 24612-24615
If
a geographic area
is an
instance
of
neighborhood
,
then there exists
another geographic area
such that
the geographic area
is a
geographic
subregion of
the other geographic area
(=>
(
instance
?PORT
DeepDraftPort
)
(
exists
(?HARBOR)
(
and
(
instance
?HARBOR
DeepDraftHarbor
)
(
geographicSubregion
?HARBOR ?PORT))))
Transportation.kif 888-893
If
a geographic area
is an
instance
of
deep draft port
,
then there exists
another geographic area
such that
the other geographic area
is an
instance
of
deep draft harbor
and
the other geographic area
is a
geographic
subregion of
the geographic area
(=>
(
instance
?STORM
TropicalCyclonicSystem
)
(
exists
(?PLACE)
(
and
(
instance
?PLACE
GeographicArea
)
(
geographicSubregion
?PLACE
Tropics
)
(
origin
?STORM ?PLACE))))
Weather.kif 619-625
If
a process
is an
instance
of
tropical cyclonic system
,
then there exists
a geographic area
such that
the geographic area
is an
instance
of
geographic area
and
the geographic area
is a
geographic
subregion of
tropics
and
the process
originate
s at
the geographic area
(=>
(
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 5326-5334
If
a geographic area
is an
instance
of
inland water system
,
then there exist
another geographic area
and
a third geographic area
such that
the other geographic area
is an
instance
of
body of water
and
the third geographic area
is an
instance
of
body of water
and
the other geographic area
is not
equal
to
the third geographic area
and
the other geographic area
is a
geographic
subregion of
the geographic area
and
the third geographic area
is a
geographic
subregion of
the geographic area
appearance as argument number 0
(
geographicSubregion
AdanaTurkey
Turkey
)
CountriesAndRegions.kif 2494-2494
Adana turkey
is a
geographic
subregion of
turkey
(
geographicSubregion
AddisAbabaEthiopia
Ethiopia
)
CountriesAndRegions.kif 2496-2496
Addis ababa ethiopia
is a
geographic
subregion of
ethiopia
(
geographicSubregion
AdenYemen
Yemen
)
CountriesAndRegions.kif 2498-2498
Aden yemen
is a
geographic
subregion of
yemen
(
geographicSubregion
AdoraWestBank
WestBank
)
CountriesAndRegions.kif 2500-2500
Adora west bank
is a
geographic
subregion of
west bank
(
geographicSubregion
Afghanistan
SouthernAsia
)
CountriesAndRegions.kif 567-567
Afghanistan
is a
geographic
subregion of
southern asia
(
geographicSubregion
Africa
EasternHemisphere
)
Geography.kif 3525-3525
Africa
is a
geographic
subregion of
eastern hemisphere
(
geographicSubregion
AfulaIsrael
Israel
)
CountriesAndRegions.kif 2502-2502
Afula israel
is a
geographic
subregion of
israel
(
geographicSubregion
AgriTurkey
Turkey
)
CountriesAndRegions.kif 2504-2504
Agri turkey
is a
geographic
subregion of
turkey
(
geographicSubregion
AinDeflaAlgeria
Algeria
)
CountriesAndRegions.kif 2506-2506
Ain defla algeria
is a
geographic
subregion of
algeria
(
geographicSubregion
AinElHajarAlgeria
Algeria
)
CountriesAndRegions.kif 2508-2508
Ain el hajar algeria
is a
geographic
subregion of
algeria
(
geographicSubregion
AjaccioFrance
France
)
CountriesAndRegions.kif 2510-2510
Ajaccio france
is a
geographic
subregion of
france
(
geographicSubregion
AlBalamandLebanon
Lebanon
)
CountriesAndRegions.kif 2512-2512
Al balamand lebanon
is a
geographic
subregion of
lebanon
(
geographicSubregion
Albania
SoutheasternEurope
)
CountriesAndRegions.kif 370-370
Albania
is a
geographic
subregion of
southeastern europe
(
geographicSubregion
AleiSinaiGazaStrip
GazaStrip
)
CountriesAndRegions.kif 2514-2514
Alei sinai gaza strip
is a
geographic
subregion of
gaza strip
(
geographicSubregion
AleiZahavWestBank
WestBank
)
CountriesAndRegions.kif 2516-2516
Alei zahav west bank
is a
geographic
subregion of
west bank
(
geographicSubregion
AleyLebanon
Lebanon
)
CountriesAndRegions.kif 2518-2518
Aley lebanon
is a
geographic
subregion of
lebanon
(
geographicSubregion
Algeria
NorthernAfrica
)
CountriesAndRegions.kif 116-116
Algeria
is a
geographic
subregion of
northern africa
(
geographicSubregion
AlgiersAlgeria
Algeria
)
CountriesAndRegions.kif 2520-2520
Algiers algeria
is a
geographic
subregion of
algeria
(
geographicSubregion
AlkhanYurtRussia
Russia
)
CountriesAndRegions.kif 2522-2522
Alkhan yurt russia
is a
geographic
subregion of
russia
(
geographicSubregion
AlonMorehWestBank
WestBank
)
CountriesAndRegions.kif 2524-2524
Alon moreh west bank
is a
geographic
subregion of
west bank
(
geographicSubregion
AmbonIndonesia
Indonesia
)
CountriesAndRegions.kif 2526-2526
Ambon indonesia
is a
geographic
subregion of
indonesia
(
geographicSubregion
AmericanSamoa
Oceania
)
CountriesAndRegions.kif 659-659
American samoa
is a
geographic
subregion of
oceania
(
geographicSubregion
AmmanJordan
Jordan
)
CountriesAndRegions.kif 2528-2528
Amman jordan
is a
geographic
subregion of
jordan
(
geographicSubregion
AnNuwaydiratBahrain
Bahrain
)
CountriesAndRegions.kif 2530-2530
An nuwaydirat bahrain
is a
geographic
subregion of
bahrain
(
geographicSubregion
AndeanSpain
Spain
)
CountriesAndRegions.kif 2532-2532
Andean spain
is a
geographic
subregion of
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