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 Agent or GeopoliticalArea ?POLITY. If two politically independent states or agents claim the same area, that area is a 'disputed territory'.") Geography.kif 954-958
(domain claimedTerritory 1 GeographicArea) Geography.kif 950-950
(domain claimedTerritory 2 Agent) Geography.kif 951-951
(instance claimedTerritory BinaryPredicate) Geography.kif 949-949

appearance as argument number 2
-------------------------


(format EnglishLanguage claimedTerritory "%2 is %n a claimed territory of %1") domainEnglishFormat.kif 123-123
(subrelation dependentGeopoliticalArea claimedTerritory) Geography.kif 952-952
(termFormat EnglishLanguage claimedTerritory "claimed territory") domainEnglishFormat.kif 2922-2922

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


(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea)
        (claimedTerritory ?AREA ?POLITY))
    (maritimeClaimType ?POLITY ?TYPE))		 Geography.kif 984-989
(=>
    (and
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))		 Geography.kif 1189-1195
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?nation))
    (overlapsSpatially ?zone ?shelf))		 Geography.kif 1061-1068

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))		 Geography.kif 1141-1145
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))		 Geography.kif 1172-1176
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone))
    (claimedTerritory
        (MaritimeContiguousZoneFn ?AREA) ?AREA))		 Geography.kif 1036-1040
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))		 Geography.kif 1110-1114
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))		 Geography.kif 1078-1082
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))		 Geography.kif 1210-1214
(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))		 Geography.kif 910-918
(=>
    (and
        (maritimeClaimType ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea))
    (exists (?CLAIM)
        (and
            (instance ?CLAIM ?TYPE)
            (claimedTerritory ?CLAIM ?AREA))))		 Geography.kif 975-982

appearance as argument number 0
-------------------------


(claimedTerritory Antarctica Argentina) CountriesAndRegions.kif 3924-3924
(claimedTerritory Antarctica Australia) CountriesAndRegions.kif 3925-3925
(claimedTerritory Antarctica Chile) CountriesAndRegions.kif 3926-3926
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3927-3927
(claimedTerritory Antarctica NewZealand) CountriesAndRegions.kif 3928-3928
(claimedTerritory Antarctica Norway) CountriesAndRegions.kif 3929-3929
(claimedTerritory Antarctica UnitedKingdom) CountriesAndRegions.kif 3930-3930
(claimedTerritory GazaStrip Israel) CountriesAndRegions.kif 3716-3716
(claimedTerritory GazaStrip PalestinianLiberationOrganization) CountriesAndRegions.kif 3717-3717
(claimedTerritory ParacelIslands China) CountriesAndRegions.kif 3718-3718
(claimedTerritory ParacelIslands Taiwan) CountriesAndRegions.kif 3719-3719
(claimedTerritory ParacelIslands Vietnam) CountriesAndRegions.kif 3720-3720
(claimedTerritory SpratlyIslands China) CountriesAndRegions.kif 3721-3721
(claimedTerritory SpratlyIslands Taiwan) CountriesAndRegions.kif 3722-3722
(claimedTerritory SpratlyIslands Vietnam) CountriesAndRegions.kif 3723-3723
(claimedTerritory WestBank Israel) CountriesAndRegions.kif 3724-3724
(claimedTerritory WestBank PalestinianLiberationOrganization) CountriesAndRegions.kif 3725-3725
(claimedTerritory WesternSahara Morocco) CountriesAndRegions.kif 3726-3726


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners