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
Die Zahl 1 Argument von
geopoliticalSubdivision
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(
domain
geopoliticalSubdivision
2
GeopoliticalArea
)
Merge.kif 14091-14091
Die Zahl 2 Argument von
geopoliticalSubdivision
ist ein
fall
von
GeopoliticalArea
%n{nicht}
(
instance
geopoliticalSubdivision
AsymmetricRelation
)
Merge.kif 14087-14087
geopoliticalSubdivision
ist ein
fall
von
AsymmetricRelation
%n{nicht}
(
instance
geopoliticalSubdivision
TransitiveRelation
)
Merge.kif 14088-14088
geopoliticalSubdivision
ist ein
fall
von
TransitiveRelation
%n{nicht}
(
subrelation
geopoliticalSubdivision
geographicSubregion
)
Merge.kif 14089-14089
geopoliticalSubdivision
ist eine
teilrelation
von
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
ist eine
teilrelation
von
geopoliticalSubdivision
(
subrelation
primaryGeopoliticalSubdivision
geopoliticalSubdivision
)
Government.kif 403-403
primaryGeopoliticalSubdivision
ist eine
teilrelation
von
geopoliticalSubdivision
(
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
Wenn
diplomaticOrganizationType
AutonomousAgent
,
** Organization
and
GeopoliticalArea
und
geopoliticalSubdivision
** GeopoliticalArea
and
** GeopoliticalArea
und
** ** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann
diplomaticOrganizationType
** AutonomousAgent
,
** Organization
and
** ** GeopoliticalArea
(=>
(
and
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT2)
(
geopoliticalSubdivision
?AGENT2 ?AGENT3)
(
instance
?AGENT3
Nation
))
(
diplomaticRepresentationType
?AGENT1 ?POSITION ?AGENT3))
Government.kif 4535-4540
Wenn
diplomaticRepresentationType
AutonomousAgent
,
Position
and
GeopoliticalArea
und
geopoliticalSubdivision
** GeopoliticalArea
and
** GeopoliticalArea
und
** ** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht},
dann
diplomaticRepresentationType
** AutonomousAgent
,
** Position
and
** ** GeopoliticalArea
(=>
(
geopoliticalSubdivision
?AREA ?COUNTRY)
(
not
(
dependentGeopoliticalArea
?AREA ?COUNTRY)))
Government.kif 482-485
Wenn
geopoliticalSubdivision
GeopoliticalArea
and
** GeopoliticalArea
,
dann
dependentGeopoliticalArea
** GeopoliticalArea
and
** ** GeopoliticalArea
(=>
(
geopoliticalSubdivision
?SUB ?AREA)
(
not
(
instance
?SUB
IndependentState
)))
Government.kif 395-397
Wenn
geopoliticalSubdivision
GeopoliticalArea
and
** GeopoliticalArea
,
dann
** GeopoliticalArea
ist ein
fall
von
IndependentState
nicht
consequent
(<=>
(
instance
?DISTRICT
CityDistrict
)
(
exists
(?CITY)
(
and
(
instance
?CITY
City
)
(
geopoliticalSubdivision
?DISTRICT ?CITY))))
Mid-level-ontology.kif 8080-8085
GeopoliticalArea
ist ein
fall
von
CityDistrict
%n{nicht} genau dann wenn es gibt
** GeopoliticalArea
um
** ** GeopoliticalArea
ist ein
fall
von
City
%n{nicht} und
geopoliticalSubdivision
** 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
Wenn
Process
ist ein
fall
von
Exporting
%n{nicht} und
Entity
ist ein
patient
von
** Process
%n{nicht} und
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
der
anfang
von die
zeit
des Bestehens von
** Process
%n{nicht},
dann es gibt
** GeopoliticalArea
um
** ** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
geopoliticalSubdivision
** GeopoliticalArea
and
** ** GeopoliticalArea
und
geopoliticalSubdivision
** ** GeopoliticalArea
and
** GeopoliticalArea
und
** Entity
befindet
sich an %n{nicht} haelt
waehrend
das
ende
von die
zeit
des Bestehens von
** Process
%n{nicht}
(=>
(
and
(
instance
?GEO
(
GeographicPartTypeFn
?TYPE ?AREA))
(
subclass
?TYPE
GeopoliticalArea
)
(
instance
?AREA
GeopoliticalArea
))
(
geopoliticalSubdivision
?GEO ?AREA))
Geography.kif 6931-6936
Wenn
GeopoliticalArea
ist ein
fall
von
GeographicPartTypeFn
** GeographicArea
and
** GeopoliticalArea
%n{nicht} und
** GeographicArea
ist eine
teilkategorie
von
GeopoliticalArea
und
** ** GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann
geopoliticalSubdivision
** GeopoliticalArea
and
** ** GeopoliticalArea
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
not
(
geopoliticalSubdivision
?AREA ?COUNTRY)))
Government.kif 477-480
Wenn
dependentGeopoliticalArea
GeopoliticalArea
and
** GeopoliticalArea
,
dann
geopoliticalSubdivision
** 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
Wenn
Contest
ist ein
fall
von
CivilWar
%n{nicht},
dann es gibt
GeopoliticalArea
um
** GeopoliticalArea
ist ein
fall
von
Nation
%n{nicht} und fuer alle
** GeopoliticalArea
wenn
contestParticipant
** Contest
and
** ** GeopoliticalArea
,
dann
geopoliticalSubdivision
** ** GeopoliticalArea
and
** GeopoliticalArea
appearance as argument number 0
(
geopoliticalSubdivision
Beijing
China
)
CountriesAndRegions.kif 4255-4255
geopoliticalSubdivision
Beijing
and
China
(
geopoliticalSubdivision
Chengdu
China
)
CountriesAndRegions.kif 4275-4275
geopoliticalSubdivision
Chengdu
and
China
(
geopoliticalSubdivision
Chongqing
China
)
CountriesAndRegions.kif 4259-4259
geopoliticalSubdivision
Chongqing
and
China
(
geopoliticalSubdivision
Guangzhou
China
)
CountriesAndRegions.kif 4267-4267
geopoliticalSubdivision
Guangzhou
and
China
(
geopoliticalSubdivision
Nanjing
China
)
CountriesAndRegions.kif 4279-4279
geopoliticalSubdivision
Nanjing
and
China
(
geopoliticalSubdivision
Shanghai
China
)
CountriesAndRegions.kif 4251-4251
geopoliticalSubdivision
Shanghai
and
China
(
geopoliticalSubdivision
Shenzhen
China
)
CountriesAndRegions.kif 4271-4271
geopoliticalSubdivision
Shenzhen
and
China
(
geopoliticalSubdivision
Tianjin
China
)
CountriesAndRegions.kif 4263-4263
geopoliticalSubdivision
Tianjin
and
China
(
geopoliticalSubdivision
Wuhan
China
)
CountriesAndRegions.kif 4283-4283
geopoliticalSubdivision
Wuhan
and
China
(
geopoliticalSubdivision
Xian
China
)
CountriesAndRegions.kif 4287-4287
geopoliticalSubdivision
Xian
and
China
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