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
EF2
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
The number 1 argument of
claimed territory
is an
instance
of
geographic area
(
domain
claimedTerritory
2
AutonomousAgent
)
Geography.kif 965-965
The number 2 argument of
claimed territory
is an
instance
of
agent
(
instance
claimedTerritory
BinaryPredicate
)
Geography.kif 963-963
claimed territory
is an
instance
of
binary predicate
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
dependent geopolitical area
is a
subrelation
of
claimed territory
(
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
If
a geographic area
is an
instance
of
a kind of maritime claim area
and
a kind of maritime claim area
is a
subclass
of
maritime claim area
and
a geopolitical area
is a
claimed
territory of
the geographic area
,
then
the kind of maritime claim area
is a
maritime
claim type of
the geopolitical area
(=>
(
and
(
instance
?ZONE
MaritimeContiguousZone
)
(
claimedTerritory
?ZONE ?AREA)
(
instance
?WATER
TerritorialSea
)
(
claimedTerritory
?WATER ?AREA))
(
between
?AREA ?WATER ?ZONE))
Geography.kif 1206-1212
If
a geographic area
is an
instance
of
maritime contiguous zone
and
an agent
is a
claimed
territory of
the geographic area
and
another geographic area
is an
instance
of
territorial sea
and
the agent
is a
claimed
territory of
the other geographic area
,
then
the other geographic area
is
between
the agent
and
the geographic area
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
If
a geographic area
is an
instance
of
maritime shelf area
and
an object
is an
instance
of
continental shelf
and
an agent
is an
instance
of
nation
and
the object
meet
s
the agent
and
the agent
is a
claimed
territory of
the geographic area
,
then
the geographic area
and
the object
overlapsSpatially
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ExclusiveFishingZoneFn
?AREA)
ExclusiveFishingZone
))
(
claimedTerritory
(
ExclusiveFishingZoneFn
?AREA) ?AREA))
Geography.kif 1157-1161
If
a geopolitical area
is an
instance
of
geopolitical area
and the
exclusive
fishing zone of
the geopolitical area
is an
instance
of
exclusive fishing zone
,
then
the geopolitical area
is a
claimed
territory of the
exclusive
fishing zone of
the geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ExtendedFishingZoneFn
?AREA)
ExtendedFishingZone
))
(
claimedTerritory
(
ExtendedFishingZoneFn
?AREA) ?AREA))
Geography.kif 1189-1193
If
a geopolitical area
is an
instance
of
geopolitical area
and the
extended
fishing zone of
the geopolitical area
is an
instance
of
extended fishing zone
,
then
the geopolitical area
is a
claimed
territory of the
extended
fishing zone of
the geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MaritimeContiguousZoneFn
?AREA)
MaritimeContiguousZone
))
(
claimedTerritory
(
MaritimeContiguousZoneFn
?AREA) ?AREA))
Geography.kif 1050-1054
If
a geopolitical area
is an
instance
of
geopolitical area
and the
maritime
contiguous zone of
the geopolitical area
is an
instance
of
maritime contiguous zone
,
then
the geopolitical area
is a
claimed
territory of the
maritime
contiguous zone of
the geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MaritimeExclusiveEconomicZoneFn
?AREA)
MaritimeExclusiveEconomicZone
))
(
claimedTerritory
(
MaritimeExclusiveEconomicZoneFn
?AREA) ?AREA))
Geography.kif 1125-1129
If
a geopolitical area
is an
instance
of
geopolitical area
and the
maritime
exclusive economic zone of
the geopolitical area
is an
instance
of
maritime exclusive economic zone
,
then
the geopolitical area
is a
claimed
territory of the
maritime
exclusive economic zone of
the geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MaritimeShelfAreaFn
?AREA)
MaritimeShelfArea
))
(
claimedTerritory
(
MaritimeShelfAreaFn
?AREA) ?AREA))
Geography.kif 1092-1096
If
a geopolitical area
is an
instance
of
geopolitical area
and the
maritime
shelf area of
the geopolitical area
is an
instance
of
maritime shelf area
,
then
the geopolitical area
is a
claimed
territory of the
maritime
shelf area of
the geopolitical area
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
TerritorialSeaFn
?AREA)
TerritorialSea
))
(
claimedTerritory
(
TerritorialSeaFn
?AREA) ?AREA))
Geography.kif 1228-1232
If
a geopolitical area
is an
instance
of
geopolitical area
and the
territorial
sea of
the geopolitical area
is an
instance
of
territorial sea
,
then
the geopolitical area
is a
claimed
territory of the
territorial
sea of
the geopolitical area
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?AREA
GeopoliticalArea
))
(
not
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM
MaritimeClaimArea
)
(
claimedTerritory
?CLAIM ?AREA)))))
Geography.kif 924-932
If
an agent
is an
instance
of
landlocked area
and
the agent
is an
instance
of
geopolitical area
,
then there doesn't exist
a geographic area
such that
the geographic area
is an
instance
of
maritime claim area
and
the agent
is a
claimed
territory of
the geographic area
(=>
(
and
(
maritimeClaimType
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
))
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM ?TYPE)
(
claimedTerritory
?CLAIM ?AREA))))
Geography.kif 989-996
If
a kind of maritime claim area
is a
maritime
claim type of
a geopolitical area
and
a kind of maritime claim area
is a
subclass
of
maritime claim area
,
then there exists
a geographic area
such that
the geographic area
is an
instance
of
the kind of maritime claim area
and
the geopolitical area
is a
claimed
territory of
the geographic area
appearance as argument number 0
(
claimedTerritory
Antarctica
Argentina
)
CountriesAndRegions.kif 3923-3923
Argentina
is a
claimed
territory of
antarctica
(
claimedTerritory
Antarctica
Australia
)
CountriesAndRegions.kif 3924-3924
Australia
is a
claimed
territory of
antarctica
(
claimedTerritory
Antarctica
Chile
)
CountriesAndRegions.kif 3925-3925
Chile
is a
claimed
territory of
antarctica
(
claimedTerritory
Antarctica
France
)
CountriesAndRegions.kif 3926-3926
France
is a
claimed
territory of
antarctica
(
claimedTerritory
Antarctica
NewZealand
)
CountriesAndRegions.kif 3927-3927
New zealand
is a
claimed
territory of
antarctica
(
claimedTerritory
Antarctica
Norway
)
CountriesAndRegions.kif 3928-3928
Norway
is a
claimed
territory of
antarctica
(
claimedTerritory
Antarctica
UnitedKingdom
)
CountriesAndRegions.kif 3929-3929
United kingdom
is a
claimed
territory of
antarctica
(
claimedTerritory
GazaStrip
Israel
)
CountriesAndRegions.kif 3715-3715
Israel
is a
claimed
territory of
gaza strip
(
claimedTerritory
GazaStrip
PalestinianLiberationOrganization
)
CountriesAndRegions.kif 3716-3716
Palestinian liberation organization
is a
claimed
territory of
gaza strip
(
claimedTerritory
ParacelIslands
China
)
CountriesAndRegions.kif 3717-3717
China
is a
claimed
territory of
paracel islands
(
claimedTerritory
ParacelIslands
Taiwan
)
CountriesAndRegions.kif 3718-3718
Taiwan
is a
claimed
territory of
paracel islands
(
claimedTerritory
ParacelIslands
Vietnam
)
CountriesAndRegions.kif 3719-3719
Vietnam
is a
claimed
territory of
paracel islands
(
claimedTerritory
SpratlyIslands
China
)
CountriesAndRegions.kif 3720-3720
China
is a
claimed
territory of
spratly islands
(
claimedTerritory
SpratlyIslands
Taiwan
)
CountriesAndRegions.kif 3721-3721
Taiwan
is a
claimed
territory of
spratly islands
(
claimedTerritory
SpratlyIslands
Vietnam
)
CountriesAndRegions.kif 3722-3722
Vietnam
is a
claimed
territory of
spratly islands
(
claimedTerritory
WestBank
Israel
)
CountriesAndRegions.kif 3723-3723
Israel
is a
claimed
territory of
west bank
(
claimedTerritory
WestBank
PalestinianLiberationOrganization
)
CountriesAndRegions.kif 3724-3724
Palestinian liberation organization
is a
claimed
territory of
west bank
(
claimedTerritory
WesternSahara
Morocco
)
CountriesAndRegions.kif 3725-3725
Morocco
is a
claimed
territory of
western sahara
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