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
claimedTerritory
Sigma KEE - claimedTerritory
claimedTerritory
appearance as argument number 1
(
documentation
claimedTerritory
EnglishLanguage
"(
claimedTerritory
?AREA ?POLITY) means that some right over the
GeographicArea
?AREA is claimed by the
AutonomousAgent
or
GeopoliticalArea
?POLITY. If two politically independent states or agents claim the same area, that area is a 'disputed territory'.")
Geography.kif 968-972
(
domain
claimedTerritory
1
GeographicArea
)
Geography.kif 964-964
声称领土
的 1 数量 是
地理区域
的
instance
(
domain
claimedTerritory
2
AutonomousAgent
)
Geography.kif 965-965
声称领土
的 2 数量 是
施事体
的
instance
(
instance
claimedTerritory
BinaryPredicate
)
Geography.kif 963-963
声称领土
是
二元谓语
的
instance
appearance as argument number 2
(
format
ChineseLanguage
claimedTerritory
"%2 %n 是 %1 的 claimed 领土")
domainEnglishFormat.kif 456-456
(
format
ChineseTraditionalLanguage
claimedTerritory
"%2 %n 是 %1 的 claimed 領土")
domainEnglishFormat.kif 455-455
(
format
EnglishLanguage
claimedTerritory
"%2 is %n a claimed territory of %1")
domainEnglishFormat.kif 454-454
(
subrelation
dependentGeopoliticalArea
claimedTerritory
)
Geography.kif 966-966
依赖的地缘政治区域
是
声称领土
的
subrelation
(
termFormat
ChineseLanguage
claimedTerritory
"声称领土")
domainEnglishFormat.kif 14994-14994
(
termFormat
ChineseTraditionalLanguage
claimedTerritory
"聲稱領土")
domainEnglishFormat.kif 14993-14993
(
termFormat
EnglishLanguage
claimedTerritory
"claimed territory")
domainEnglishFormat.kif 14992-14992
antecedent
(=>
(
and
(
instance
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
)
(
claimedTerritory
?AREA ?POLITY))
(
maritimeClaimType
?POLITY ?TYPE))
Geography.kif 998-1003
如果
地理区域
是
有点 海事索赔区
的
instance
和
有点 海事索赔区
是
海事索赔区
的
subclass
和
地缘政治区域
是
那个 地理区域
的
claimed
领土,
然后
那个 有点 海事索赔区
是
那个 地缘政治区域
的
maritime
要求类型
(=>
(
and
(
instance
?ZONE
MaritimeContiguousZone
)
(
claimedTerritory
?ZONE ?AREA)
(
instance
?WATER
TerritorialSea
)
(
claimedTerritory
?WATER ?AREA))
(
between
?AREA ?WATER ?ZONE))
Geography.kif 1206-1212
如果
地理区域
是
海上毗连区
的
instance
和
施事体
是
那个 地理区域
的
claimed
领土 和
另一个 地理区域
是
领海
的
instance
和
那个 施事体
是
那个 另外 地理区域
的
claimed
领土,
然后
那个 另外 地理区域
是在
那个 施事体
和
那个 地理区域
between
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
如果
地理区域
是
海运货架区
的
instance
和
客体
是
大陆棚
的
instance
和
施事体
是
国家
的
instance
和
那个 客体
接上
那个 施事体
和
那个 施事体
是
那个 地理区域
的
claimed
领土,
然后
那个 地理区域
和
那个 客体
重叠
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ExclusiveFishingZoneFn
?AREA)
ExclusiveFishingZone
))
(
claimedTerritory
(
ExclusiveFishingZoneFn
?AREA) ?AREA))
Geography.kif 1157-1161
如果
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
的
exclusive
钓鱼区 是
专属捕鱼区
的
instance
,
然后
那个 地缘政治区域
是
那个 地缘政治区域
的
exclusive
钓鱼区 的
claimed
领土
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ExtendedFishingZoneFn
?AREA)
ExtendedFishingZone
))
(
claimedTerritory
(
ExtendedFishingZoneFn
?AREA) ?AREA))
Geography.kif 1189-1193
如果
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
的
extended
钓鱼区 是
延伸捕鱼区
的
instance
,
然后
那个 地缘政治区域
是
那个 地缘政治区域
的
extended
钓鱼区 的
claimed
领土
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MaritimeContiguousZoneFn
?AREA)
MaritimeContiguousZone
))
(
claimedTerritory
(
MaritimeContiguousZoneFn
?AREA) ?AREA))
Geography.kif 1050-1054
如果
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
的
maritime
鄰近區 是
海上毗连区
的
instance
,
然后
那个 地缘政治区域
是
那个 地缘政治区域
的
maritime
鄰近區 的
claimed
领土
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MaritimeExclusiveEconomicZoneFn
?AREA)
MaritimeExclusiveEconomicZone
))
(
claimedTerritory
(
MaritimeExclusiveEconomicZoneFn
?AREA) ?AREA))
Geography.kif 1125-1129
如果
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
的
maritime
隔离经济区 是
海上专属经济区
的
instance
,
然后
那个 地缘政治区域
是
那个 地缘政治区域
的
maritime
隔离经济区 的
claimed
领土
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MaritimeShelfAreaFn
?AREA)
MaritimeShelfArea
))
(
claimedTerritory
(
MaritimeShelfAreaFn
?AREA) ?AREA))
Geography.kif 1092-1096
如果
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
的
maritime
貨價區 是
海运货架区
的
instance
,
然后
那个 地缘政治区域
是
那个 地缘政治区域
的
maritime
貨價區 的
claimed
领土
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
TerritorialSeaFn
?AREA)
TerritorialSea
))
(
claimedTerritory
(
TerritorialSeaFn
?AREA) ?AREA))
Geography.kif 1228-1232
如果
地缘政治区域
是
地缘政治区域
的
instance
和
那个 地缘政治区域
的
territorial
海洋 是
领海
的
instance
,
然后
那个 地缘政治区域
是
那个 地缘政治区域
的
territorial
海洋 的
claimed
领土
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?AREA
GeopoliticalArea
))
(
not
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM
MaritimeClaimArea
)
(
claimedTerritory
?CLAIM ?AREA)))))
Geography.kif 924-932
如果
施事体
是
内陆地区
的
instance
和
那个 施事体
是
地缘政治区域
的
instance
,
然后 不存在
地理区域
这样
那个 地理区域
是
海事索赔区
的
instance
和
那个 施事体
是
那个 地理区域
的
claimed
领土
(=>
(
and
(
maritimeClaimType
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
))
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM ?TYPE)
(
claimedTerritory
?CLAIM ?AREA))))
Geography.kif 989-996
如果
有点 海事索赔区
是
地缘政治区域
的
maritime
要求类型 和
有点 海事索赔区
是
海事索赔区
的
subclass
,
然后 有存在
地理区域
这样
那个 地理区域
是
那个 有点 海事索赔区
的
instance
和
那个 地缘政治区域
是
那个 地理区域
的
claimed
领土
appearance as argument number 0
(
claimedTerritory
Antarctica
Argentina
)
CountriesAndRegions.kif 3923-3923
阿根廷
是
南极洲
的
claimed
领土
(
claimedTerritory
Antarctica
Australia
)
CountriesAndRegions.kif 3924-3924
澳大利亚
是
南极洲
的
claimed
领土
(
claimedTerritory
Antarctica
Chile
)
CountriesAndRegions.kif 3925-3925
智利
是
南极洲
的
claimed
领土
(
claimedTerritory
Antarctica
France
)
CountriesAndRegions.kif 3926-3926
法国
是
南极洲
的
claimed
领土
(
claimedTerritory
Antarctica
NewZealand
)
CountriesAndRegions.kif 3927-3927
新西兰
是
南极洲
的
claimed
领土
(
claimedTerritory
Antarctica
Norway
)
CountriesAndRegions.kif 3928-3928
挪威
是
南极洲
的
claimed
领土
(
claimedTerritory
Antarctica
UnitedKingdom
)
CountriesAndRegions.kif 3929-3929
英国
是
南极洲
的
claimed
领土
(
claimedTerritory
GazaStrip
Israel
)
CountriesAndRegions.kif 3715-3715
以色列
是
加沙地带
的
claimed
领土
(
claimedTerritory
GazaStrip
PalestinianLiberationOrganization
)
CountriesAndRegions.kif 3716-3716
巴勒斯坦解放组织
是
加沙地带
的
claimed
领土
(
claimedTerritory
ParacelIslands
China
)
CountriesAndRegions.kif 3717-3717
中国
是
西沙群岛
的
claimed
领土
(
claimedTerritory
ParacelIslands
Taiwan
)
CountriesAndRegions.kif 3718-3718
台湾
是
西沙群岛
的
claimed
领土
(
claimedTerritory
ParacelIslands
Vietnam
)
CountriesAndRegions.kif 3719-3719
越南
是
西沙群岛
的
claimed
领土
(
claimedTerritory
SpratlyIslands
China
)
CountriesAndRegions.kif 3720-3720
中国
是
南沙群岛
的
claimed
领土
(
claimedTerritory
SpratlyIslands
Taiwan
)
CountriesAndRegions.kif 3721-3721
台湾
是
南沙群岛
的
claimed
领土
(
claimedTerritory
SpratlyIslands
Vietnam
)
CountriesAndRegions.kif 3722-3722
越南
是
南沙群岛
的
claimed
领土
(
claimedTerritory
WestBank
Israel
)
CountriesAndRegions.kif 3723-3723
以色列
是
西方银行
的
claimed
领土
(
claimedTerritory
WestBank
PalestinianLiberationOrganization
)
CountriesAndRegions.kif 3724-3724
巴勒斯坦解放组织
是
西方银行
的
claimed
领土
(
claimedTerritory
WesternSahara
Morocco
)
CountriesAndRegions.kif 3725-3725
摩洛哥
是
撒哈拉沙漠西部
的
claimed
领土
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