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
Sigma KEE - geopoliticalSubdivision
geopoliticalSubdivision
appearance as argument number 1
(
documentation
geopoliticalSubdivision
ChineseLanguage
"(
geopoliticalSubdivision
?AREA1 ?AREA2)的意思是 ?AREA1 是 ?AREA2 的某一个地缘部分,姐就是说 ?AREA1 是 ?AREA2
geographicSubregion
的组成部分(而不是
DependencyOrSpecialSovereigntyArea
),拥有它自己 相关的
GovernmentOrganization
,它的政府部门从属或受 ?AREA2 的政府管辖。可参考
dependentGeopoliticalArea
。")
chinese_format.kif 1443-1447
(
documentation
geopoliticalSubdivision
EnglishLanguage
"(
geopoliticalSubdivision
?AREA1 ?AREA2) means that ?AREA1 is any geopolitical part of ?AREA2, that is, ?AREA1 is an integral
geographicSubregion
of ?AREA2 (not a
DependencyOrSpecialSovereigntyArea
), having its own associated
GovernmentOrganization
which is subordinated to or constrained by the government of ?AREA2. Cf.
dependentGeopoliticalArea
.")
Merge.kif 14138-14143
(
domain
geopoliticalSubdivision
1
GeopoliticalArea
)
Merge.kif 14136-14136
The number 1 argument of
geopolitical subdivision
is an
instance
of
geopolitical area
(
domain
geopoliticalSubdivision
2
GeopoliticalArea
)
Merge.kif 14137-14137
The number 2 argument of
geopolitical subdivision
is an
instance
of
geopolitical area
(
instance
geopoliticalSubdivision
AsymmetricRelation
)
Merge.kif 14133-14133
geopolitical subdivision
is an
instance
of
asymmetric relation
(
instance
geopoliticalSubdivision
TransitiveRelation
)
Merge.kif 14134-14134
geopolitical subdivision
is an
instance
of
transitive relation
(
subrelation
geopoliticalSubdivision
geographicSubregion
)
Merge.kif 14135-14135
geopolitical subdivision
is a
subrelation
of
geographic subregion
appearance as argument number 2
(
format
ChineseLanguage
geopoliticalSubdivision
"%1 %n 是 %2 的地缘政治部分")
chinese_format.kif 804-804
(
format
EnglishLanguage
geopoliticalSubdivision
"%1 is %n a geopolitical part of %2")
english_format.kif 814-814
(
format
FrenchLanguage
geopoliticalSubdivision
"sous-division g�opolitique")
french_format.kif 483-483
(
format
JapaneseLanguage
geopoliticalSubdivision
"%1 は %2 の geopolitical 部分では %n")
english_format.kif 815-815
(
format
PortugueseLanguage
geopoliticalSubdivision
"sub-divisao geopolitica")
portuguese_format.kif 435-435
(
format
ro
geopoliticalSubdivision
"")
relations-ro.kif 505-505
(
subrelation
administrativeCenter
geopoliticalSubdivision
)
Government.kif 385-385
administrative center
is a
subrelation
of
geopolitical subdivision
(
subrelation
primaryGeopoliticalSubdivision
geopoliticalSubdivision
)
Mid-level-ontology.kif 31777-31777
primary geopolitical subdivision
is a
subrelation
of
geopolitical subdivision
(
termFormat
ChineseLanguage
geopoliticalSubdivision
"地缘政治分区")
chinese_format.kif 805-805
(
termFormat
ChineseLanguage
geopoliticalSubdivision
"地缘政治细分")
domainEnglishFormat.kif 25842-25842
(
termFormat
ChineseTraditionalLanguage
geopoliticalSubdivision
"地緣政治細分")
domainEnglishFormat.kif 25841-25841
(
termFormat
EnglishLanguage
geopoliticalSubdivision
"geopolitical subdivision")
domainEnglishFormat.kif 25840-25840
antecedent
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT3))
Government.kif 4632-4637
If
an agent
is
diplomatic
organization type
a kind of organization
for
a geopolitical area
and
the geopolitical area
is a
geopolitical
part of
another geopolitical area
and
the other geopolitical area
is an
instance
of
nation
,
then
the agent
is
diplomatic
organization type
a kind of organization
for
the other geopolitical area
(=>
(
and
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT3))
Government.kif 4499-4504
If
an agent
diplomatic
representation type
a position
for
a geopolitical area
and
the geopolitical area
is a
geopolitical
part of
another geopolitical area
and
the other geopolitical area
is an
instance
of
nation
,
then
the agent
diplomatic
representation type
the position
for
the other geopolitical area
(=>
(
geopoliticalSubdivision
?AREA ?COUNTRY)
(
not
(
dependentGeopoliticalArea
?AREA ?COUNTRY)))
Government.kif 446-449
If
a geopolitical area
is a
geopolitical
part of
another geopolitical area
,
then not
the geopolitical area
is a
dependent
of
the other geopolitical area
(=>
(
geopoliticalSubdivision
?SUB ?AREA)
(
not
(
instance
?SUB
IndependentState
)))
Government.kif 395-397
If
a geopolitical area
is a
geopolitical
part of
another geopolitical area
,
then
the geopolitical area
is not an
instance
of
independent state
consequent
(<=>
(
instance
?DISTRICT
CityDistrict
)
(
exists
(?CITY)
(
and
(
instance
?CITY
City
)
(
geopoliticalSubdivision
?DISTRICT ?CITY))))
Mid-level-ontology.kif 8107-8112
A geopolitical area
is an
instance
of
city district
if and only if there exists
another geopolitical area
such that
the other geopolitical area
is an
instance
of
city
and
the geopolitical area
is a
geopolitical
part of
the other geopolitical area
(=>
(
and
(
instance
?EXPORT
Exporting
)
(
patient
?EXPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?EXPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2432-2445
If
a process
is an
instance
of
exporting
and
an entity
is a
patient
of
the process
and
a geopolitical area
is an
instance
of
geopolitical area
and
the entity
is
located
at
the geopolitical area
holds
during
the
beginning
of the
time
of existence of
the process
,
then there exists
another geopolitical area
such that
the other geopolitical area
is an
instance
of
geopolitical area
and
the geopolitical area
is not a
geopolitical
part of
the other geopolitical area
and
the other geopolitical area
is not a
geopolitical
part of
the geopolitical area
and
the entity
is
located
at
the other geopolitical area
holds
during
the
end
of the
time
of existence of
the process
(=>
(
and
(
instance
?GEO
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?TYPE
GeopoliticalArea
)
(
instance
?AREA
GeopoliticalArea
))
(
geopoliticalSubdivision
?GEO ?AREA))
Geography.kif 6931-6936
If
a geopolitical area
is an
instance
of all the
instances
of
a kind of geographic area
in
another geopolitical area
and
a kind of geographic area
is a
subclass
of
geopolitical area
and
the other geopolitical area
is an
instance
of
geopolitical area
,
then
the geopolitical area
is a
geopolitical
part of
the other geopolitical area
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
not
(
geopoliticalSubdivision
?AREA ?COUNTRY)))
Government.kif 441-444
If
a geopolitical area
is a
dependent
of
another geopolitical area
,
then
the geopolitical area
is not a
geopolitical
part of
the other geopolitical area
(=>
(
instance
?WAR
CivilWar
)
(
exists
(?NATION)
(
and
(
instance
?NATION
Nation
)
(
forall
(?AGENT)
(=>
(
contestParticipant
?WAR ?AGENT)
(
geopoliticalSubdivision
?AGENT ?NATION))))))
Mid-level-ontology.kif 19719-19727
If
a contest
is an
instance
of
civil war
,
then there exists
a geopolitical area
such that
the geopolitical area
is an
instance
of
nation
and for all
another geopolitical area
if
the other geopolitical area
participates
in
the contest
,
then
the other geopolitical area
is a
geopolitical
part of
the geopolitical area
appearance as argument number 0
(
geopoliticalSubdivision
Beijing
China
)
CountriesAndRegions.kif 4255-4255
Beijing
is a
geopolitical
part of
china
(
geopoliticalSubdivision
Chengdu
China
)
CountriesAndRegions.kif 4275-4275
Chengdu
is a
geopolitical
part of
china
(
geopoliticalSubdivision
Chongqing
China
)
CountriesAndRegions.kif 4259-4259
Chongqing
is a
geopolitical
part of
china
(
geopoliticalSubdivision
Guangzhou
China
)
CountriesAndRegions.kif 4267-4267
Guangzhou
is a
geopolitical
part of
china
(
geopoliticalSubdivision
Nanjing
China
)
CountriesAndRegions.kif 4279-4279
Nanjing
is a
geopolitical
part of
china
(
geopoliticalSubdivision
Shanghai
China
)
CountriesAndRegions.kif 4251-4251
Shanghai
is a
geopolitical
part of
china
(
geopoliticalSubdivision
Shenzhen
China
)
CountriesAndRegions.kif 4271-4271
Shenzhen
is a
geopolitical
part of
china
(
geopoliticalSubdivision
Tianjin
China
)
CountriesAndRegions.kif 4263-4263
Tianjin
is a
geopolitical
part of
china
(
geopoliticalSubdivision
Wuhan
China
)
CountriesAndRegions.kif 4283-4283
Wuhan
is a
geopolitical
part of
china
(
geopoliticalSubdivision
Xian
China
)
CountriesAndRegions.kif 4287-4287
Xi'an
is a
geopolitical
part of
china
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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