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 963-967
(domain claimedTerritory 1 GeographicArea) Geography.kif 959-959 claimedTerritory の数値 1 引数は 地理的地域 の instance では
(domain claimedTerritory 2 AutonomousAgent) Geography.kif 960-960 claimedTerritory の数値 2 引数は AutonomousAgent の instance では
(instance claimedTerritory BinaryPredicate) Geography.kif 958-958 claimedTerritory は 2進述語 の 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 961-961 dependentGeopoliticalArea は claimedTerritory の subrelation では
(termFormat ChineseLanguage claimedTerritory "声称领土") domainEnglishFormat.kif 15003-15003 dependentGeopoliticalArea は claimedTerritory の subrelation では
(termFormat ChineseTraditionalLanguage claimedTerritory "聲稱領土") domainEnglishFormat.kif 15002-15002 dependentGeopoliticalArea は claimedTerritory の subrelation では
(termFormat EnglishLanguage claimedTerritory "claimed territory") domainEnglishFormat.kif 15001-15001 dependentGeopoliticalArea は claimedTerritory の subrelation では

antecedent
-------------------------


(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea)
        (claimedTerritory ?AREA ?POLITY))
    (maritimeClaimType ?POLITY ?TYPE))		 Geography.kif 992-997
(=>
    (and
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))		 Geography.kif 1200-1206
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))		 Geography.kif 1069-1076

consequent
-------------------------


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))		 Geography.kif 1151-1155
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))		 Geography.kif 1183-1187
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone))
    (claimedTerritory
        (MaritimeContiguousZoneFn ?AREA) ?AREA))		 Geography.kif 1044-1048
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))		 Geography.kif 1119-1123
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))		 Geography.kif 1086-1090
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))		 Geography.kif 1222-1226
(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))		 Geography.kif 919-927
(=>
    (and
        (maritimeClaimType ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea))
    (exists (?CLAIM)
        (and
            (instance ?CLAIM ?TYPE)
            (claimedTerritory ?CLAIM ?AREA))))		 Geography.kif 983-990

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 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