claimedTerritory - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

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 1133-1137
(domain claimedTerritory 1 GeographicArea)	Geography.kif 1129-1129	The number 1 argument of claimed territory is an instance of geographic area
(domain claimedTerritory 2 AutonomousAgent)	Geography.kif 1130-1130	The number 2 argument of claimed territory is an instance of agent
(instance claimedTerritory BinaryPredicate)	Geography.kif 1128-1128	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 1131-1131	dependent geopolitical area is a subrelation of claimed territory
(termFormat ChineseLanguage claimedTerritory "声称领土")	domainEnglishFormat.kif 15003-15003	dependent geopolitical area is a subrelation of claimed territory
(termFormat ChineseTraditionalLanguage claimedTerritory "聲稱領土")	domainEnglishFormat.kif 15002-15002	dependent geopolitical area is a subrelation of claimed territory
(termFormat EnglishLanguage claimedTerritory "claimed territory")	domainEnglishFormat.kif 15001-15001	dependent geopolitical area is a subrelation of claimed territory

antecedent

(=> (and (instance ?AREA ?TYPE) (subclass ?TYPE MaritimeClaimArea) (claimedTerritory ?AREA ?POLITY)) (maritimeClaimType ?POLITY ?TYPE))	Geography.kif 1162-1167	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 1370-1376	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 1239-1246	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 meets 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 1321-1325	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 1353-1357	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 1214-1218	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 1289-1293	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 1256-1260	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 1392-1396	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 1089-1097	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 1153-1160	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 3918-3918	Argentina is a claimed territory of antarctica
(claimedTerritory Antarctica Australia)	CountriesAndRegions.kif 3919-3919	Australia is a claimed territory of antarctica
(claimedTerritory Antarctica Chile)	CountriesAndRegions.kif 3920-3920	Chile is a claimed territory of antarctica
(claimedTerritory Antarctica France)	CountriesAndRegions.kif 3921-3921	France is a claimed territory of antarctica
(claimedTerritory Antarctica NewZealand)	CountriesAndRegions.kif 3922-3922	New zealand is a claimed territory of antarctica
(claimedTerritory Antarctica Norway)	CountriesAndRegions.kif 3923-3923	Norway is a claimed territory of antarctica
(claimedTerritory Antarctica UnitedKingdom)	CountriesAndRegions.kif 3924-3924	United kingdom is a claimed territory of antarctica
(claimedTerritory GazaStrip Israel)	CountriesAndRegions.kif 3710-3710	Israel is a claimed territory of gaza strip
(claimedTerritory GazaStrip PalestinianLiberationOrganization)	CountriesAndRegions.kif 3711-3711	Palestinian liberation organization is a claimed territory of gaza strip
(claimedTerritory ParacelIslands China)	CountriesAndRegions.kif 3712-3712	China is a claimed territory of paracel islands
(claimedTerritory ParacelIslands Taiwan)	CountriesAndRegions.kif 3713-3713	Taiwan is a claimed territory of paracel islands
(claimedTerritory ParacelIslands Vietnam)	CountriesAndRegions.kif 3714-3714	Vietnam is a claimed territory of paracel islands
(claimedTerritory SpratlyIslands China)	CountriesAndRegions.kif 3715-3715	China is a claimed territory of spratly islands
(claimedTerritory SpratlyIslands Taiwan)	CountriesAndRegions.kif 3716-3716	Taiwan is a claimed territory of spratly islands
(claimedTerritory SpratlyIslands Vietnam)	CountriesAndRegions.kif 3717-3717	Vietnam is a claimed territory of spratly islands
(claimedTerritory WestBank Israel)	CountriesAndRegions.kif 3718-3718	Israel is a claimed territory of west bank
(claimedTerritory WestBank PalestinianLiberationOrganization)	CountriesAndRegions.kif 3719-3719	Palestinian liberation organization is a claimed territory of west bank
(claimedTerritory WesternSahara Morocco)	CountriesAndRegions.kif 3720-3720	Morocco is a claimed territory of western sahara

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

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