Browsing Interface
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
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
No TPTP formula. May not be expressible in strict first order.
chinese_format.kif 1438-1439
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13940-13942
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13938-13938
The number 1 argument of
geographic subregion
is an
instance
of
geographic area
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13939-13939
The number 2 argument of
geographic subregion
is an
instance
of
geographic area
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13935-13935
geographic subregion
is an
instance
of
asymmetric relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13933-13933
geographic subregion
is an
instance
of
binary predicate
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13934-13934
geographic subregion
is an
instance
of
transitive relation
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13937-13937
geographic subregion
is a
subrelation
of
located
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13936-13936
geographic subregion
is a
subrelation
of
proper part
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1097-1097
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1096-1096
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 1095-1095
No TPTP formula. May not be expressible in strict first order.
Merge.kif 13980-13980
geopolitical subdivision
is a
subrelation
of
geographic subregion
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 25785-25785
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 25784-25784
No TPTP formula. May not be expressible in strict first order.
domainEnglishFormat.kif 25783-25783
antecedent
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1962-1973
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
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1938-1952
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Geography.kif 5282-5297
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 23468-23472
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
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2262-2267
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24802-24807
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24809-24816
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24763-24768
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24770-24775
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24877-24882
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24884-24889
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
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2090-2104
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)
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1962-1973
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
No TPTP formula. May not be expressible in strict first order.
Geography.kif 1938-1952
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2237-2247
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)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2176-2194
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)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 2136-2150
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)
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3441-3443
If
a geographic area
is an
instance
of
continent
,
then
the geographic area
is a
geographic
subregion of
planet earth
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3394-3396
If
a geographic area
is an
instance
of
hemisphere
,
then
the geographic area
is a
geographic
subregion of
planet earth
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24855-24858
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
No TPTP formula. May not be expressible in strict first order.
Mid-level-ontology.kif 24743-24746
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
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
No TPTP formula. May not be expressible in strict first order.
Geography.kif 5250-5258
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
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2494-2494
Adana turkey
is a
geographic
subregion of
turkey
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2496-2496
Addis ababa ethiopia
is a
geographic
subregion of
ethiopia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2498-2498
Aden yemen
is a
geographic
subregion of
yemen
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2500-2500
Adora west bank
is a
geographic
subregion of
west bank
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 567-567
Afghanistan
is a
geographic
subregion of
southern asia
No TPTP formula. May not be expressible in strict first order.
Geography.kif 3451-3451
Africa
is a
geographic
subregion of
eastern hemisphere
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2502-2502
Afula israel
is a
geographic
subregion of
israel
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2504-2504
Agri turkey
is a
geographic
subregion of
turkey
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2506-2506
Ain defla algeria
is a
geographic
subregion of
algeria
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2508-2508
Ain el hajar algeria
is a
geographic
subregion of
algeria
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2510-2510
Ajaccio france
is a
geographic
subregion of
france
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2512-2512
Al balamand lebanon
is a
geographic
subregion of
lebanon
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 370-370
Albania
is a
geographic
subregion of
southeastern europe
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2514-2514
Alei sinai gaza strip
is a
geographic
subregion of
gaza strip
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2516-2516
Alei zahav west bank
is a
geographic
subregion of
west bank
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2518-2518
Aley lebanon
is a
geographic
subregion of
lebanon
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 116-116
Algeria
is a
geographic
subregion of
northern africa
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2520-2520
Algiers algeria
is a
geographic
subregion of
algeria
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2522-2522
Alkhan yurt russia
is a
geographic
subregion of
russia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2524-2524
Alon moreh west bank
is a
geographic
subregion of
west bank
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2526-2526
Ambon indonesia
is a
geographic
subregion of
indonesia
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 659-659
American samoa
is a
geographic
subregion of
oceania
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2528-2528
Amman jordan
is a
geographic
subregion of
jordan
No TPTP formula. May not be expressible in strict first order.
CountriesAndRegions.kif 2530-2530
An nuwaydirat bahrain
is a
geographic
subregion of
bahrain
No TPTP formula. May not be expressible in strict first order.
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
geographicSubregion