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 967-971
(domain claimedTerritory 1 GeographicArea) Geography.kif 963-963
(domain claimedTerritory 2 Agent) Geography.kif 964-964
(instance claimedTerritory BinaryPredicate) Geography.kif 962-962

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 965-965
(termFormat ChineseLanguage claimedTerritory "声称领土") domainEnglishFormat.kif 15004-15004
(termFormat ChineseTraditionalLanguage claimedTerritory "聲稱領土") domainEnglishFormat.kif 15003-15003
(termFormat EnglishLanguage claimedTerritory "claimed territory") domainEnglishFormat.kif 15002-15002

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


(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea)
        (claimedTerritory ?AREA ?POLITY))
    (maritimeClaimType ?POLITY ?TYPE))		 Geography.kif 997-1002
(=>
    (and
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))		 Geography.kif 1205-1211
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))		 Geography.kif 1074-1081

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))		 Geography.kif 1156-1160
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))		 Geography.kif 1188-1192
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone))
    (claimedTerritory
        (MaritimeContiguousZoneFn ?AREA) ?AREA))		 Geography.kif 1049-1053
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))		 Geography.kif 1124-1128
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))		 Geography.kif 1091-1095
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))		 Geography.kif 1227-1231
(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))		 Geography.kif 923-931
(=>
    (and
        (maritimeClaimType ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea))
    (exists (?CLAIM)
        (and
            (instance ?CLAIM ?TYPE)
            (claimedTerritory ?CLAIM ?AREA))))		 Geography.kif 988-995

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


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


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