Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

  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 1271-1275
(domain claimedTerritory 1 GeographicArea) Geography.kif 1267-1267 声称领土 的 1 数量 是 地理区域 的 instance
(domain claimedTerritory 2 AutonomousAgent) Geography.kif 1268-1268 声称领土 的 2 数量 是 施事体 的 instance
(instance claimedTerritory BinaryPredicate) Geography.kif 1266-1266 声称领土 是 二元谓语 的 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 1269-1269 依赖的地缘政治区域 是 声称领土 的 subrelation
(termFormat ChineseLanguage claimedTerritory "声称领土") domainEnglishFormat.kif 15003-15003 依赖的地缘政治区域 是 声称领土 的 subrelation
(termFormat ChineseTraditionalLanguage claimedTerritory "聲稱領土") domainEnglishFormat.kif 15002-15002 依赖的地缘政治区域 是 声称领土 的 subrelation
(termFormat EnglishLanguage claimedTerritory "claimed territory") domainEnglishFormat.kif 15001-15001 依赖的地缘政治区域 是 声称领土 的 subrelation

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


(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea)
        (claimedTerritory ?AREA ?POLITY))
    (maritimeClaimType ?POLITY ?TYPE))		 Geography.kif 1300-1305
(=>
    (and
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))		 Geography.kif 1508-1514
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))		 Geography.kif 1377-1384

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))		 Geography.kif 1459-1463
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))		 Geography.kif 1491-1495
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone))
    (claimedTerritory
        (MaritimeContiguousZoneFn ?AREA) ?AREA))		 Geography.kif 1352-1356
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))		 Geography.kif 1427-1431
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))		 Geography.kif 1394-1398
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))		 Geography.kif 1530-1534
(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))		 Geography.kif 1227-1235
(=>
    (and
        (maritimeClaimType ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea))
    (exists (?CLAIM)
        (and
            (instance ?CLAIM ?TYPE)
            (claimedTerritory ?CLAIM ?AREA))))		 Geography.kif 1291-1298

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


(claimedTerritory Antarctica Argentina) CountriesAndRegions.kif 3918-3918 阿根廷 是 南极洲 的 claimed 领土
(claimedTerritory Antarctica Australia) CountriesAndRegions.kif 3919-3919 澳大利亚 是 南极洲 的 claimed 领土
(claimedTerritory Antarctica Chile) CountriesAndRegions.kif 3920-3920 智利 是 南极洲 的 claimed 领土
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3921-3921 法国 是 南极洲 的 claimed 领土
(claimedTerritory Antarctica NewZealand) CountriesAndRegions.kif 3922-3922 新西兰 是 南极洲 的 claimed 领土
(claimedTerritory Antarctica Norway) CountriesAndRegions.kif 3923-3923 挪威 是 南极洲 的 claimed 领土
(claimedTerritory Antarctica UnitedKingdom) CountriesAndRegions.kif 3924-3924 英国 是 南极洲 的 claimed 领土
(claimedTerritory GazaStrip Israel) CountriesAndRegions.kif 3710-3710 以色列 是 加沙地带 的 claimed 领土
(claimedTerritory GazaStrip PalestinianLiberationOrganization) CountriesAndRegions.kif 3711-3711 巴勒斯坦解放组织 是 加沙地带 的 claimed 领土
(claimedTerritory ParacelIslands China) CountriesAndRegions.kif 3712-3712 中国 是 西沙群岛 的 claimed 领土
(claimedTerritory ParacelIslands Taiwan) CountriesAndRegions.kif 3713-3713 台湾 是 西沙群岛 的 claimed 领土
(claimedTerritory ParacelIslands Vietnam) CountriesAndRegions.kif 3714-3714 越南 是 西沙群岛 的 claimed 领土
(claimedTerritory SpratlyIslands China) CountriesAndRegions.kif 3715-3715 中国 是 南沙群岛 的 claimed 领土
(claimedTerritory SpratlyIslands Taiwan) CountriesAndRegions.kif 3716-3716 台湾 是 南沙群岛 的 claimed 领土
(claimedTerritory SpratlyIslands Vietnam) CountriesAndRegions.kif 3717-3717 越南 是 南沙群岛 的 claimed 领土
(claimedTerritory WestBank Israel) CountriesAndRegions.kif 3718-3718 以色列 是 西方银行 的 claimed 领土
(claimedTerritory WestBank PalestinianLiberationOrganization) CountriesAndRegions.kif 3719-3719 巴勒斯坦解放组织 是 西方银行 的 claimed 领土
(claimedTerritory WesternSahara Morocco) CountriesAndRegions.kif 3720-3720 摩洛哥 是 撒哈拉沙漠西部 的 claimed 领土


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