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
dependentGeopoliticalArea
Sigma KEE - dependentGeopoliticalArea
dependentGeopoliticalArea
appearance as argument number 1
(
documentation
dependentGeopoliticalArea
EnglishLanguage
"(
dependentGeopoliticalArea
?AREA1 ?AREA2) means that ?AREA1 is a geopolitical possession of the
GeopoliticalArea
?AREA2 and is not a
geopoliticalSubdivision
of ?AREA2. For example, (
dependentGeopoliticalArea
Guam
UnitedStates
), because Guam is a territory of the
UnitedStates
, not one of the fifty U.S. states. Contrast
primaryGeopoliticalSubdivision
.")
Government.kif 426-431
(
domain
dependentGeopoliticalArea
1
GeopoliticalArea
)
Government.kif 423-423
依赖的地缘政治区域
的 1 数量 是
地缘政治区域
的
instance
(
domain
dependentGeopoliticalArea
2
GeopoliticalArea
)
Government.kif 424-424
依赖的地缘政治区域
的 2 数量 是
地缘政治区域
的
instance
(
instance
dependentGeopoliticalArea
AsymmetricRelation
)
Government.kif 420-420
依赖的地缘政治区域
是
非对称关系
的
instance
(
instance
dependentGeopoliticalArea
TransitiveRelation
)
Government.kif 421-421
依赖的地缘政治区域
是
传递关系
的
instance
(
relatedInternalConcept
dependentGeopoliticalArea
primaryGeopoliticalSubdivision
)
Government.kif 422-422
依赖的地缘政治区域
和
主要地缘政治细分
是 内部相关
(
subrelation
dependentGeopoliticalArea
claimedTerritory
)
Geography.kif 966-966
依赖的地缘政治区域
是
声称领土
的
subrelation
appearance as argument number 2
(
format
ChineseLanguage
dependentGeopoliticalArea
"%1 是 %2 的
de
pendent ")
domainEnglishFormat.kif 3230-3230
(
format
ChineseTraditionalLanguage
dependentGeopoliticalArea
"%1 是 %2 的
de
pendent ")
domainEnglishFormat.kif 3229-3229
(
format
EnglishLanguage
dependentGeopoliticalArea
"%1 is a
de
pendent of %2")
domainEnglishFormat.kif 3228-3228
(
termFormat
ChineseLanguage
dependentGeopoliticalArea
"依赖的地缘政治区域")
domainEnglishFormat.kif 19128-19128
(
termFormat
ChineseTraditionalLanguage
dependentGeopoliticalArea
"依賴的地緣政治區域")
domainEnglishFormat.kif 19127-19127
(
termFormat
EnglishLanguage
dependentGeopoliticalArea
"dependent geopolitical area")
domainEnglishFormat.kif 19126-19126
antecedent
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
not
(
geopoliticalSubdivision
?AREA ?COUNTRY)))
Government.kif 441-444
如果
地缘政治区域
是
另一个 地缘政治区域
的
dependent
,
然后
那个 地缘政治区域
不 是
那个 另外 地缘政治区域
的地缘政治部分
(=>
(
dependentGeopoliticalArea
?AREA ?COUNTRY)
(
possesses
?COUNTRY ?AREA))
Government.kif 433-435
如果
地缘政治区域
是
另一个 地缘政治区域
的
dependent
,
然后
那个 另外 地缘政治区域
possesses
那个 地缘政治区域
consequent
(=>
(
and
(
independenceDate
?COUNTRY1 ?DATE)
(
instance
?INST ?DATE))
(
holdsDuring
(
FutureFn
?INST)
(
not
(
exists
(?COUNTRY2)
(
dependentGeopoliticalArea
?COUNTRY1 ?COUNTRY2)))))
Government.kif 510-517
如果
有点 时距
是
地缘政治区域
的
independence
日期 和
时间位置
是
有点 时距
的
instance
,
然后 不存在
实体
这样
那个 地缘政治区域
是
那个 实体
的
dependent
在
那个 时间位置
之后
holdsDuring
(=>
(
dependentAreaOfType
?AREA ?COUNTRY ?TYPE)
(
dependentGeopoliticalArea
?AREA ?COUNTRY))
Government.kif 437-439
如果
地缘政治区域
对于
另一个 有点 地缘政治区域
dependent
区域的类别
第三 地缘政治区域
,
然后
那个 地缘政治区域
是
那个 第三 地缘政治区域
的
dependent
(=>
(
geopoliticalSubdivision
?AREA ?COUNTRY)
(
not
(
dependentGeopoliticalArea
?AREA ?COUNTRY)))
Government.kif 446-449
如果
地缘政治区域
是
另一个 地缘政治区域
的地缘政治部分,
然后 不
那个 地缘政治区域
是
那个 另外 地缘政治区域
的
dependent
(=>
(
instance
?AREA
OverseasArea
)
(
exists
(?COUNTRY)
(
and
(
instance
?COUNTRY
Nation
)
(
dependentGeopoliticalArea
?AREA ?COUNTRY))))
Government.kif 457-462
如果
地缘政治区域
是
海外地区
的
instance
,
然后 有存在
另一个 地缘政治区域
这样
那个 另外 地缘政治区域
是
国家
的
instance
和
那个 地缘政治区域
是
那个 另外 地缘政治区域
的
dependent
(=>
(
member
?AREA
UnitedStatesMinorOutlyingIslands
)
(
dependentGeopoliticalArea
?AREA
UnitedStates
))
Media.kif 2614-2616
如果
地缘政治区域
是
UnitedStatesMinorOutlyingIslands
的
member
,
然后
那个 地缘政治区域
是
美国
的
dependent
appearance as argument number 0
(
dependentGeopoliticalArea
AalandIslands
Finland
)
Media.kif 2562-2562
AalandIslands
是
芬兰
的
dependent
(
dependentGeopoliticalArea
AmericanSamoa
UnitedStates
)
CountriesAndRegions.kif 3726-3726
美国萨摩亚
是
美国
的
dependent
(
dependentGeopoliticalArea
Anguilla
UnitedKingdom
)
CountriesAndRegions.kif 3728-3728
安圭拉
是
英国
的
dependent
(
dependentGeopoliticalArea
Aruba
Netherlands
)
CountriesAndRegions.kif 3730-3730
阿鲁巴
是
荷兰
的
dependent
(
dependentGeopoliticalArea
AshmoreAndCartierIslands
Australia
)
CountriesAndRegions.kif 3732-3732
阿什莫尔和卡地亚岛屿
是
澳大利亚
的
dependent
(
dependentGeopoliticalArea
BakerIsland
UnitedStates
)
CountriesAndRegions.kif 3734-3734
贝克岛
是
美国
的
dependent
(
dependentGeopoliticalArea
BassasDaIndia
France
)
CountriesAndRegions.kif 3736-3736
Bassas da 印度
是
法国
的
dependent
(
dependentGeopoliticalArea
Bermuda
UnitedKingdom
)
CountriesAndRegions.kif 3738-3738
百慕大
是
英国
的
dependent
(
dependentGeopoliticalArea
BouvetIsland
Norway
)
CountriesAndRegions.kif 3740-3740
布维岛
是
挪威
的
dependent
(
dependentGeopoliticalArea
BritishIndianOceanTerritory
UnitedKingdom
)
CountriesAndRegions.kif 3742-3742
英属印度洋领地
是
英国
的
dependent
(
dependentGeopoliticalArea
BritishVirginIslands
UnitedKingdom
)
CountriesAndRegions.kif 3744-3744
英属维尔京群岛
是
英国
的
dependent
(
dependentGeopoliticalArea
CaymanIslands
UnitedKingdom
)
CountriesAndRegions.kif 3747-3747
开曼群岛
是
英国
的
dependent
(
dependentGeopoliticalArea
ChannelIslands
UnitedKingdom
)
CountriesAndRegions.kif 3750-3750
ChannelIslands
是
英国
的
dependent
(
dependentGeopoliticalArea
ChristmasIsland
Australia
)
CountriesAndRegions.kif 3754-3754
圣诞岛
是
澳大利亚
的
dependent
(
dependentGeopoliticalArea
ClippertonIsland
France
)
CountriesAndRegions.kif 3756-3756
Clipperton岛
是
法国
的
dependent
(
dependentGeopoliticalArea
CocosKeelingIslands
Australia
)
CountriesAndRegions.kif 3758-3758
科科斯基林群岛
是
澳大利亚
的
dependent
(
dependentGeopoliticalArea
CookIslands
NewZealand
)
CountriesAndRegions.kif 3760-3760
库克群岛
是
新西兰
的
dependent
(
dependentGeopoliticalArea
CoralSeaIslands
Australia
)
CountriesAndRegions.kif 3762-3762
珊瑚海岛屿
是
澳大利亚
的
dependent
(
dependentGeopoliticalArea
EuropaIsland
France
)
CountriesAndRegions.kif 3764-3764
欧罗巴岛
是
法国
的
dependent
(
dependentGeopoliticalArea
FalklandIslands
UnitedKingdom
)
CountriesAndRegions.kif 3766-3766
福克兰群岛
是
英国
的
dependent
(
dependentGeopoliticalArea
FaroeIslands
Denmark
)
CountriesAndRegions.kif 3768-3768
法罗群岛
是
丹麦
的
dependent
(
dependentGeopoliticalArea
FrenchGuiana
France
)
CountriesAndRegions.kif 3770-3770
法属圭亚那
是
法国
的
dependent
(
dependentGeopoliticalArea
FrenchPolynesia
France
)
CountriesAndRegions.kif 3772-3772
法属波利尼西亚
是
法国
的
dependent
(
dependentGeopoliticalArea
FrenchSouthernAndAntarcticLands
France
)
CountriesAndRegions.kif 3774-3774
法国南部和南极的土地
是
法国
的
dependent
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