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 968-972
(domain claimedTerritory 1 GeographicArea) Geography.kif 964-964 域 聲稱領土, 1 and GeographicArea
(domain claimedTerritory 2 AutonomousAgent) Geography.kif 965-965 域 聲稱領土, 2 and AutonomousAgent
(instance claimedTerritory BinaryPredicate) Geography.kif 963-963 例 聲稱領土 and BinaryPredicate

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 966-966 子關係 依賴的地緣政治區域 and 聲稱領土
(termFormat ChineseLanguage claimedTerritory "声称领土") domainEnglishFormat.kif 14994-14994
(termFormat ChineseTraditionalLanguage claimedTerritory "聲稱領土") domainEnglishFormat.kif 14993-14993
(termFormat EnglishLanguage claimedTerritory "claimed territory") domainEnglishFormat.kif 14992-14992

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


(=>
    (and
        (instance ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea)
        (claimedTerritory ?AREA ?POLITY))
    (maritimeClaimType ?POLITY ?TYPE))		 Geography.kif 998-1003
(=>
    (and
        (instance ?ZONE MaritimeContiguousZone)
        (claimedTerritory ?ZONE ?AREA)
        (instance ?WATER TerritorialSea)
        (claimedTerritory ?WATER ?AREA))
    (between ?AREA ?WATER ?ZONE))		 Geography.kif 1206-1212
(=>
    (and
        (instance ?zone MaritimeShelfArea)
        (instance ?shelf ContinentalShelf)
        (instance ?country Nation)
        (meetsSpatially ?shelf ?country)
        (claimedTerritory ?zone ?country))
    (overlapsSpatially ?zone ?shelf))		 Geography.kif 1075-1082

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


(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExclusiveFishingZoneFn ?AREA) ExclusiveFishingZone))
    (claimedTerritory
        (ExclusiveFishingZoneFn ?AREA) ?AREA))		 Geography.kif 1157-1161
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (ExtendedFishingZoneFn ?AREA) ExtendedFishingZone))
    (claimedTerritory
        (ExtendedFishingZoneFn ?AREA) ?AREA))		 Geography.kif 1189-1193
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeContiguousZoneFn ?AREA) MaritimeContiguousZone))
    (claimedTerritory
        (MaritimeContiguousZoneFn ?AREA) ?AREA))		 Geography.kif 1050-1054
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeExclusiveEconomicZoneFn ?AREA) MaritimeExclusiveEconomicZone))
    (claimedTerritory
        (MaritimeExclusiveEconomicZoneFn ?AREA) ?AREA))		 Geography.kif 1125-1129
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (MaritimeShelfAreaFn ?AREA) MaritimeShelfArea))
    (claimedTerritory
        (MaritimeShelfAreaFn ?AREA) ?AREA))		 Geography.kif 1092-1096
(=>
    (and
        (instance ?AREA GeopoliticalArea)
        (instance
            (TerritorialSeaFn ?AREA) TerritorialSea))
    (claimedTerritory
        (TerritorialSeaFn ?AREA) ?AREA))		 Geography.kif 1228-1232
(=>
    (and
        (instance ?AREA LandlockedArea)
        (instance ?AREA GeopoliticalArea))
    (not
        (exists (?CLAIM)
            (and
                (instance ?CLAIM MaritimeClaimArea)
                (claimedTerritory ?CLAIM ?AREA)))))		 Geography.kif 924-932
(=>
    (and
        (maritimeClaimType ?AREA ?TYPE)
        (subclass ?TYPE MaritimeClaimArea))
    (exists (?CLAIM)
        (and
            (instance ?CLAIM ?TYPE)
            (claimedTerritory ?CLAIM ?AREA))))		 Geography.kif 989-996

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


(claimedTerritory Antarctica Argentina) CountriesAndRegions.kif 3923-3923 阿根廷 是 南極洲 的 claimed 領土
(claimedTerritory Antarctica Australia) CountriesAndRegions.kif 3924-3924 澳大利亞 是 南極洲 的 claimed 領土
(claimedTerritory Antarctica Chile) CountriesAndRegions.kif 3925-3925 智利 是 南極洲 的 claimed 領土
(claimedTerritory Antarctica France) CountriesAndRegions.kif 3926-3926 法國 是 南極洲 的 claimed 領土
(claimedTerritory Antarctica NewZealand) CountriesAndRegions.kif 3927-3927 新西蘭 是 南極洲 的 claimed 領土
(claimedTerritory Antarctica Norway) CountriesAndRegions.kif 3928-3928 挪威 是 南極洲 的 claimed 領土
(claimedTerritory Antarctica UnitedKingdom) CountriesAndRegions.kif 3929-3929 英國 是 南極洲 的 claimed 領土
(claimedTerritory GazaStrip Israel) CountriesAndRegions.kif 3715-3715 以色列 是 加沙地帶 的 claimed 領土
(claimedTerritory GazaStrip PalestinianLiberationOrganization) CountriesAndRegions.kif 3716-3716 巴勒斯坦解放組織 是 加沙地帶 的 claimed 領土
(claimedTerritory ParacelIslands China) CountriesAndRegions.kif 3717-3717 中國 是 西沙群島 的 claimed 領土
(claimedTerritory ParacelIslands Taiwan) CountriesAndRegions.kif 3718-3718 台灣 是 西沙群島 的 claimed 領土
(claimedTerritory ParacelIslands Vietnam) CountriesAndRegions.kif 3719-3719 越南 是 西沙群島 的 claimed 領土
(claimedTerritory SpratlyIslands China) CountriesAndRegions.kif 3720-3720 中國 是 南沙群島 的 claimed 領土
(claimedTerritory SpratlyIslands Taiwan) CountriesAndRegions.kif 3721-3721 台灣 是 南沙群島 的 claimed 領土
(claimedTerritory SpratlyIslands Vietnam) CountriesAndRegions.kif 3722-3722 越南 是 南沙群島 的 claimed 領土
(claimedTerritory WestBank Israel) CountriesAndRegions.kif 3723-3723 以色列 是 西方銀行 的 claimed 領土
(claimedTerritory WestBank PalestinianLiberationOrganization) CountriesAndRegions.kif 3724-3724 巴勒斯坦解放組織 是 西方銀行 的 claimed 領土
(claimedTerritory WesternSahara Morocco) CountriesAndRegions.kif 3725-3725 摩洛哥 是 西撒哈拉 的 claimed 領土


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