Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
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
geopoliticalSubdivision
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 14245-14250
(
domain
geopoliticalSubdivision
1
GeopoliticalArea
)
Merge.kif 14243-14243
Le nombre 1 argument de
geopoliticalSubdivision
est une
instance
de
secteur g�opolitique
(
domain
geopoliticalSubdivision
2
GeopoliticalArea
)
Merge.kif 14244-14244
Le nombre 2 argument de
geopoliticalSubdivision
est une
instance
de
secteur g�opolitique
(
instance
geopoliticalSubdivision
AsymmetricRelation
)
Merge.kif 14240-14240
geopoliticalSubdivision
est une
instance
de
relation asym�trique
(
instance
geopoliticalSubdivision
TransitiveRelation
)
Merge.kif 14241-14241
geopoliticalSubdivision
est une
instance
de
relation transitive
(
subrelation
geopoliticalSubdivision
geographicSubregion
)
Merge.kif 14242-14242
geopoliticalSubdivision
est une
sous
-relation de
geographicSubregion
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
administrativeCenter
est une
sous
-relation de
geopoliticalSubdivision
(
subrelation
primaryGeopoliticalSubdivision
geopoliticalSubdivision
)
Mid-level-ontology.kif 33692-33692
primaryGeopoliticalSubdivision
est une
sous
-relation de
geopoliticalSubdivision
(
termFormat
ChineseLanguage
geopoliticalSubdivision
"地缘政治分区")
chinese_format.kif 805-805
primaryGeopoliticalSubdivision
est une
sous
-relation de
geopoliticalSubdivision
(
termFormat
ChineseLanguage
geopoliticalSubdivision
"地缘政治细分")
domainEnglishFormat.kif 25853-25853
primaryGeopoliticalSubdivision
est une
sous
-relation de
geopoliticalSubdivision
(
termFormat
ChineseTraditionalLanguage
geopoliticalSubdivision
"地緣政治細分")
domainEnglishFormat.kif 25852-25852
primaryGeopoliticalSubdivision
est une
sous
-relation de
geopoliticalSubdivision
(
termFormat
EnglishLanguage
geopoliticalSubdivision
"geopolitical subdivision")
domainEnglishFormat.kif 25851-25851
primaryGeopoliticalSubdivision
est une
sous
-relation de
geopoliticalSubdivision
antecedent
(=>
(
and
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticOrganizationType
?AGENT1 ?TYPE ?AGENT3))
Government.kif 4629-4634
diplomaticOrganizationType
AutonomousAgent
,
organisation
and
secteur g�opolitique
sous-division g�opolitique
secteur g�opolitique
est une
instance
de
nation
diplomaticOrganizationType
AutonomousAgent
,
organisation
and
secteur g�opolitique
(=>
(
and
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT3))
Government.kif 4496-4501
diplomaticRepresentationType
AutonomousAgent
,
position
and
secteur g�opolitique
sous-division g�opolitique
secteur g�opolitique
est une
instance
de
nation
diplomaticRepresentationType
AutonomousAgent
,
position
and
secteur g�opolitique
(=>
(
geopoliticalSubdivision
?AREA ?COUNTRY)
(
not
(
dependentGeopoliticalArea
?AREA ?COUNTRY)))
Government.kif 446-449
Sous-division g�opolitique
dependentGeopoliticalArea
secteur g�opolitique
and
secteur g�opolitique
(=>
(
geopoliticalSubdivision
?SUB ?AREA)
(
not
(
instance
?SUB
IndependentState
)))
Government.kif 395-397
Sous-division g�opolitique
secteur g�opolitique
est une
instance
de
IndependentState
consequent
(<=>
(
instance
?DISTRICT
CityDistrict
)
(
exists
(?CITY)
(
and
(
instance
?CITY
City
)
(
geopoliticalSubdivision
?DISTRICT ?CITY))))
Mid-level-ontology.kif 9247-9252
Secteur g�opolitique
est une
instance
de
CityDistrict
secteur g�opolitique
secteur g�opolitique
est une
instance
de
ville
sous-division g�opolitique
(=>
(
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 2672-2685
Processus
est une
instance
de
Exporting
entit�
est un
patient
de
processus
secteur g�opolitique
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
secteur g�opolitique
pendant
le
d
�but de
temps
d'existence de
processus
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
sous-division g�opolitique sous-division g�opolitique
entit�
est
situ
� �
secteur g�opolitique
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
and
(
instance
?GEO
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?TYPE
GeopoliticalArea
)
(
instance
?AREA
GeopoliticalArea
))
(
geopoliticalSubdivision
?GEO ?AREA))
Geography.kif 7235-7240
Secteur g�opolitique
est une
instance
de
GeographicPartTypeFn
secteur g�ographique
and
secteur g�opolitique
secteur g�ographique
est une
sous
-classe de
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
sous-division g�opolitique
(=>
(
and
(
instance
?IMPORT
Importing
)
(
patient
?IMPORT ?ITEM)
(
instance
?AREA1
GeopoliticalArea
)
(
holdsDuring
(
BeginFn
(
WhenFn
?IMPORT))
(
located
?ITEM ?AREA1)))
(
exists
(?AREA2)
(
and
(
instance
?AREA2
GeopoliticalArea
)
(
not
(
geopoliticalSubdivision
?AREA1 ?AREA2))
(
not
(
geopoliticalSubdivision
?AREA2 ?AREA1))
(
holdsDuring
(
EndFn
(
WhenFn
?IMPORT))
(
located
?ITEM ?AREA2)))))
Economy.kif 2832-2851
Processus
est une
instance
de
Importing
entit�
est un
patient
de
processus
secteur g�opolitique
est une
instance
de
secteur g�opolitique
entit�
est
situ
� �
secteur g�opolitique
pendant
le
d
�but de
temps
d'existence de
processus
secteur g�opolitique
secteur g�opolitique
est une
instance
de
secteur g�opolitique
sous-division g�opolitique sous-division g�opolitique
entit�
est
situ
� �
secteur g�opolitique
pendant
la
fin
de
temps
d'existence de
processus
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
not
(
geopoliticalSubdivision
?AREA ?COUNTRY)))
Government.kif 441-444
dependentGeopoliticalArea
secteur g�opolitique
and
secteur g�opolitique
sous-division g�opolitique
(=>
(
instance
?WAR
CivilWar
)
(
exists
(?NATION)
(
and
(
instance
?NATION
Nation
)
(
forall
(?AGENT)
(=>
(
contestParticipant
?WAR ?AGENT)
(
geopoliticalSubdivision
?AGENT ?NATION))))))
Mid-level-ontology.kif 21263-21271
Affrontement
est une
instance
de
CivilWar
secteur g�opolitique
secteur g�opolitique
est une
instance
de
nation
secteur g�opolitique
contestParticipant
affrontement
and
secteur g�opolitique
sous-division g�opolitique
appearance as argument number 0
(
geopoliticalSubdivision
Beijing
China
)
CountriesAndRegions.kif 4250-4250
Sous-division g�opolitique
(
geopoliticalSubdivision
Chengdu
China
)
CountriesAndRegions.kif 4270-4270
Sous-division g�opolitique
(
geopoliticalSubdivision
Chongqing
China
)
CountriesAndRegions.kif 4254-4254
Sous-division g�opolitique
(
geopoliticalSubdivision
Guangzhou
China
)
CountriesAndRegions.kif 4262-4262
Sous-division g�opolitique
(
geopoliticalSubdivision
Nanjing
China
)
CountriesAndRegions.kif 4274-4274
Sous-division g�opolitique
(
geopoliticalSubdivision
Shanghai
China
)
CountriesAndRegions.kif 4246-4246
Sous-division g�opolitique
(
geopoliticalSubdivision
Shenzhen
China
)
CountriesAndRegions.kif 4266-4266
Sous-division g�opolitique
(
geopoliticalSubdivision
Tianjin
China
)
CountriesAndRegions.kif 4258-4258
Sous-division g�opolitique
(
geopoliticalSubdivision
Wuhan
China
)
CountriesAndRegions.kif 4278-4278
Sous-division g�opolitique
(
geopoliticalSubdivision
Xian
China
)
CountriesAndRegions.kif 4282-4282
Sous-division g�opolitique
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