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
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 14092-14097
(
domain
geopoliticalSubdivision
1
GeopoliticalArea
)
Merge.kif 14090-14090
域
地緣政治細分
, 1 and
GeopoliticalArea
(
domain
geopoliticalSubdivision
2
GeopoliticalArea
)
Merge.kif 14091-14091
域
地緣政治細分
, 2 and
GeopoliticalArea
(
instance
geopoliticalSubdivision
AsymmetricRelation
)
Merge.kif 14087-14087
例
地緣政治細分
and
AsymmetricRelation
(
instance
geopoliticalSubdivision
TransitiveRelation
)
Merge.kif 14088-14088
例
地緣政治細分
and
TransitiveRelation
(
subrelation
geopoliticalSubdivision
geographicSubregion
)
Merge.kif 14089-14089
子關係
地緣政治細分
and
地理分區域
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
子關係
行政中心
and
地緣政治細分
(
subrelation
primaryGeopoliticalSubdivision
geopoliticalSubdivision
)
Government.kif 403-403
子關係
主要地緣政治細分
and
地緣政治細分
(
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 4668-4673
AutonomousAgent
是 對於 %3 的
diplomatic
類別
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
例
GeopoliticalArea
and
Nation
AutonomousAgent
是 對於 %3 的
diplomatic
類別
(=>
(
and
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT3))
Government.kif 4535-4540
%
AutonomousAgent
%3
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
例
GeopoliticalArea
and
Nation
%
AutonomousAgent
%3
(=>
(
geopoliticalSubdivision
?AREA ?COUNTRY)
(
not
(
dependentGeopoliticalArea
?AREA ?COUNTRY)))
Government.kif 482-485
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
GeopoliticalArea
是
GeopoliticalArea
的
dependent
(=>
(
geopoliticalSubdivision
?SUB ?AREA)
(
not
(
instance
?SUB
IndependentState
)))
Government.kif 395-397
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
例
GeopoliticalArea
and
獨立國家
consequent
(<=>
(
instance
?DISTRICT
CityDistrict
)
(
exists
(?CITY)
(
and
(
instance
?CITY
City
)
(
geopoliticalSubdivision
?DISTRICT ?CITY))))
Mid-level-ontology.kif 8080-8085
例
GeopoliticalArea
and
市區
GeopoliticalArea
例
GeopoliticalArea
and
City
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
(=>
(
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
例
Process
and
出口
患者
Process
and
Entity
例
GeopoliticalArea
and
GeopoliticalArea
持有期間
開始
何時
Process
and
位於
Entity
and
GeopoliticalArea
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
持有期間
結束
何時
Process
and
位於
Entity
and
GeopoliticalArea
(=>
(
and
(
instance
?GEO
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?TYPE
GeopoliticalArea
)
(
instance
?AREA
GeopoliticalArea
))
(
geopoliticalSubdivision
?GEO ?AREA))
Geography.kif 6931-6936
例
GeopoliticalArea
and
GeographicArea
所有的
instances
在
GeopoliticalArea
子類
GeographicArea
and
GeopoliticalArea
例
GeopoliticalArea
and
GeopoliticalArea
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
not
(
geopoliticalSubdivision
?AREA ?COUNTRY)))
Government.kif 477-480
GeopoliticalArea
是
GeopoliticalArea
的
dependent
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
(=>
(
instance
?WAR
CivilWar
)
(
exists
(?NATION)
(
and
(
instance
?NATION
Nation
)
(
forall
(?AGENT)
(=>
(
contestParticipant
?WAR ?AGENT)
(
geopoliticalSubdivision
?AGENT ?NATION))))))
Mid-level-ontology.kif 19692-19700
例
Contest
and
內戰
GeopoliticalArea
例
GeopoliticalArea
and
Nation
GeopoliticalArea
GeopoliticalArea
participates
在
Contest
地緣政治細分
GeopoliticalArea
and
GeopoliticalArea
appearance as argument number 0
(
geopoliticalSubdivision
Beijing
China
)
CountriesAndRegions.kif 4255-4255
地緣政治細分
Beijing
and
中國
(
geopoliticalSubdivision
Chengdu
China
)
CountriesAndRegions.kif 4275-4275
地緣政治細分
Chengdu
and
中國
(
geopoliticalSubdivision
Chongqing
China
)
CountriesAndRegions.kif 4259-4259
地緣政治細分
Chongqing
and
中國
(
geopoliticalSubdivision
Guangzhou
China
)
CountriesAndRegions.kif 4267-4267
地緣政治細分
Guangzhou
and
中國
(
geopoliticalSubdivision
Nanjing
China
)
CountriesAndRegions.kif 4279-4279
地緣政治細分
Nanjing
and
中國
(
geopoliticalSubdivision
Shanghai
China
)
CountriesAndRegions.kif 4251-4251
地緣政治細分
Shanghai
and
中國
(
geopoliticalSubdivision
Shenzhen
China
)
CountriesAndRegions.kif 4271-4271
地緣政治細分
Shenzhen
and
中國
(
geopoliticalSubdivision
Tianjin
China
)
CountriesAndRegions.kif 4263-4263
地緣政治細分
Tianjin
and
中國
(
geopoliticalSubdivision
Wuhan
China
)
CountriesAndRegions.kif 4283-4283
地緣政治細分
Wuhan
and
中國
(
geopoliticalSubdivision
Xian
China
)
CountriesAndRegions.kif 4287-4287
地緣政治細分
西安
and
中國
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