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
Die Zahl 1 Argument von
claimedTerritory
ist ein
fall
von
GeographicArea
%n{nicht}
(
domain
claimedTerritory
2
AutonomousAgent
)
Geography.kif 965-965
Die Zahl 2 Argument von
claimedTerritory
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
claimedTerritory
BinaryPredicate
)
Geography.kif 963-963
claimedTerritory
ist ein
fall
von
BinaryPredicate
%n{nicht}
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
dependentGeopoliticalArea
ist eine
teilrelation
von
claimedTerritory
(
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
Wenn
GeographicArea
ist ein
fall
von
** MaritimeClaimArea
%n{nicht} und
** MaritimeClaimArea
ist eine
teilkategorie
von
MaritimeClaimArea
und
claimedTerritory
** GeographicArea
and
GeopoliticalArea
,
dann
maritimeClaimType
** GeopoliticalArea
and
** ** MaritimeClaimArea
(=>
(
and
(
instance
?ZONE
MaritimeContiguousZone
)
(
claimedTerritory
?ZONE ?AREA)
(
instance
?WATER
TerritorialSea
)
(
claimedTerritory
?WATER ?AREA))
(
between
?AREA ?WATER ?ZONE))
Geography.kif 1206-1212
Wenn
GeographicArea
ist ein
fall
von
MaritimeContiguousZone
%n{nicht} und
claimedTerritory
** GeographicArea
and
AutonomousAgent
und
** GeographicArea
ist ein
fall
von
TerritorialSea
%n{nicht} und
claimedTerritory
** ** GeographicArea
and
** AutonomousAgent
,
dann
** ** GeographicArea
ist
zwischen
** AutonomousAgent
und
** GeographicArea
%n{nicht}
(=>
(
and
(
instance
?zone
MaritimeShelfArea
)
(
instance
?shelf
ContinentalShelf
)
(
instance
?country
Nation
)
(
meetsSpatially
?shelf ?country)
(
claimedTerritory
?zone ?country))
(
overlapsSpatially
?zone ?shelf))
Geography.kif 1075-1082
Wenn
GeographicArea
ist ein
fall
von
MaritimeShelfArea
%n{nicht} und
Object
ist ein
fall
von
ContinentalShelf
%n{nicht} und
AutonomousAgent
ist ein
fall
von
Nation
%n{nicht} und
** Object
schliesst
** AutonomousAgent
raeumlich an und
claimedTerritory
** GeographicArea
and
** AutonomousAgent
,
dann
** GeographicArea
deckt
sich mit
** Object
raeumlich %n{nicht}
consequent
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ExclusiveFishingZoneFn
?AREA)
ExclusiveFishingZone
))
(
claimedTerritory
(
ExclusiveFishingZoneFn
?AREA) ?AREA))
Geography.kif 1157-1161
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
ExclusiveFishingZoneFn
** GeopoliticalArea
ist ein
fall
von
ExclusiveFishingZone
%n{nicht},
dann
claimedTerritory
ExclusiveFishingZoneFn
** GeopoliticalArea
and
** GeopoliticalArea
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
ExtendedFishingZoneFn
?AREA)
ExtendedFishingZone
))
(
claimedTerritory
(
ExtendedFishingZoneFn
?AREA) ?AREA))
Geography.kif 1189-1193
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
ExtendedFishingZoneFn
** GeopoliticalArea
ist ein
fall
von
ExtendedFishingZone
%n{nicht},
dann
claimedTerritory
ExtendedFishingZoneFn
** GeopoliticalArea
and
** GeopoliticalArea
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MaritimeContiguousZoneFn
?AREA)
MaritimeContiguousZone
))
(
claimedTerritory
(
MaritimeContiguousZoneFn
?AREA) ?AREA))
Geography.kif 1050-1054
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
MaritimeContiguousZoneFn
** GeopoliticalArea
ist ein
fall
von
MaritimeContiguousZone
%n{nicht},
dann
claimedTerritory
MaritimeContiguousZoneFn
** GeopoliticalArea
and
** GeopoliticalArea
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MaritimeExclusiveEconomicZoneFn
?AREA)
MaritimeExclusiveEconomicZone
))
(
claimedTerritory
(
MaritimeExclusiveEconomicZoneFn
?AREA) ?AREA))
Geography.kif 1125-1129
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
MaritimeExclusiveEconomicZoneFn
** GeopoliticalArea
ist ein
fall
von
MaritimeExclusiveEconomicZone
%n{nicht},
dann
claimedTerritory
MaritimeExclusiveEconomicZoneFn
** GeopoliticalArea
and
** GeopoliticalArea
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
MaritimeShelfAreaFn
?AREA)
MaritimeShelfArea
))
(
claimedTerritory
(
MaritimeShelfAreaFn
?AREA) ?AREA))
Geography.kif 1092-1096
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
MaritimeShelfAreaFn
** GeopoliticalArea
ist ein
fall
von
MaritimeShelfArea
%n{nicht},
dann
claimedTerritory
MaritimeShelfAreaFn
** GeopoliticalArea
and
** GeopoliticalArea
(=>
(
and
(
instance
?AREA
GeopoliticalArea
)
(
instance
(
TerritorialSeaFn
?AREA)
TerritorialSea
))
(
claimedTerritory
(
TerritorialSeaFn
?AREA) ?AREA))
Geography.kif 1228-1232
Wenn
GeopoliticalArea
ist ein
fall
von
GeopoliticalArea
%n{nicht} und
TerritorialSeaFn
** GeopoliticalArea
ist ein
fall
von
TerritorialSea
%n{nicht},
dann
claimedTerritory
TerritorialSeaFn
** GeopoliticalArea
and
** GeopoliticalArea
(=>
(
and
(
instance
?AREA
LandlockedArea
)
(
instance
?AREA
GeopoliticalArea
))
(
not
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM
MaritimeClaimArea
)
(
claimedTerritory
?CLAIM ?AREA)))))
Geography.kif 924-932
Wenn
AutonomousAgent
ist ein
fall
von
LandlockedArea
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
GeopoliticalArea
%n{nicht},
dann es gibt nicht
GeographicArea
um
** GeographicArea
ist ein
fall
von
MaritimeClaimArea
%n{nicht} und
claimedTerritory
** GeographicArea
and
** AutonomousAgent
(=>
(
and
(
maritimeClaimType
?AREA ?TYPE)
(
subclass
?TYPE
MaritimeClaimArea
))
(
exists
(?CLAIM)
(
and
(
instance
?CLAIM ?TYPE)
(
claimedTerritory
?CLAIM ?AREA))))
Geography.kif 989-996
Wenn
maritimeClaimType
GeopoliticalArea
and
** MaritimeClaimArea
und
** MaritimeClaimArea
ist eine
teilkategorie
von
MaritimeClaimArea
,
dann es gibt
GeographicArea
um
** GeographicArea
ist ein
fall
von
** ** MaritimeClaimArea
%n{nicht} und
claimedTerritory
** GeographicArea
and
** GeopoliticalArea
appearance as argument number 0
(
claimedTerritory
Antarctica
Argentina
)
CountriesAndRegions.kif 3923-3923
claimedTerritory
Antarctica
and
Argentina
(
claimedTerritory
Antarctica
Australia
)
CountriesAndRegions.kif 3924-3924
claimedTerritory
Antarctica
and
Australia
(
claimedTerritory
Antarctica
Chile
)
CountriesAndRegions.kif 3925-3925
claimedTerritory
Antarctica
and
Chile
(
claimedTerritory
Antarctica
France
)
CountriesAndRegions.kif 3926-3926
claimedTerritory
Antarctica
and
France
(
claimedTerritory
Antarctica
NewZealand
)
CountriesAndRegions.kif 3927-3927
claimedTerritory
Antarctica
and
NewZealand
(
claimedTerritory
Antarctica
Norway
)
CountriesAndRegions.kif 3928-3928
claimedTerritory
Antarctica
and
Norway
(
claimedTerritory
Antarctica
UnitedKingdom
)
CountriesAndRegions.kif 3929-3929
claimedTerritory
Antarctica
and
UnitedKingdom
(
claimedTerritory
GazaStrip
Israel
)
CountriesAndRegions.kif 3715-3715
claimedTerritory
GazaStrip
and
Israel
(
claimedTerritory
GazaStrip
PalestinianLiberationOrganization
)
CountriesAndRegions.kif 3716-3716
claimedTerritory
GazaStrip
and
PalestinianLiberationOrganization
(
claimedTerritory
ParacelIslands
China
)
CountriesAndRegions.kif 3717-3717
claimedTerritory
ParacelIslands
and
China
(
claimedTerritory
ParacelIslands
Taiwan
)
CountriesAndRegions.kif 3718-3718
claimedTerritory
ParacelIslands
and
Taiwan
(
claimedTerritory
ParacelIslands
Vietnam
)
CountriesAndRegions.kif 3719-3719
claimedTerritory
ParacelIslands
and
Vietnam
(
claimedTerritory
SpratlyIslands
China
)
CountriesAndRegions.kif 3720-3720
claimedTerritory
SpratlyIslands
and
China
(
claimedTerritory
SpratlyIslands
Taiwan
)
CountriesAndRegions.kif 3721-3721
claimedTerritory
SpratlyIslands
and
Taiwan
(
claimedTerritory
SpratlyIslands
Vietnam
)
CountriesAndRegions.kif 3722-3722
claimedTerritory
SpratlyIslands
and
Vietnam
(
claimedTerritory
WestBank
Israel
)
CountriesAndRegions.kif 3723-3723
claimedTerritory
WestBank
and
Israel
(
claimedTerritory
WestBank
PalestinianLiberationOrganization
)
CountriesAndRegions.kif 3724-3724
claimedTerritory
WestBank
and
PalestinianLiberationOrganization
(
claimedTerritory
WesternSahara
Morocco
)
CountriesAndRegions.kif 3725-3725
claimedTerritory
WesternSahara
and
Morocco
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