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

Formal Language: 



KB Term:  Term intersection
English Word: 

  dependentGeopoliticalArea

Sigma KEE - dependentGeopoliticalArea
dependentGeopoliticalArea

appearance as argument number 1
-------------------------


(documentation dependentGeopoliticalArea EnglishLanguage "(dependentGeopoliticalArea ?AREA1 ?AREA2) means that ?AREA1 is a geopolitical possession of the GeopoliticalArea ?AREA2 and is not a geopoliticalSubdivision of ?AREA2. For example, (dependentGeopoliticalArea Guam UnitedStates), because Guam is a territory of the UnitedStates, not one of the fifty U.S. states. Contrast primaryGeopoliticalSubdivision.") Government.kif 426-431
(domain dependentGeopoliticalArea 1 GeopoliticalArea) Government.kif 423-423 依赖的地缘政治区域 的 1 数量 是 地缘政治区域instance
(domain dependentGeopoliticalArea 2 GeopoliticalArea) Government.kif 424-424 依赖的地缘政治区域 的 2 数量 是 地缘政治区域instance
(instance dependentGeopoliticalArea AsymmetricRelation) Government.kif 420-420 依赖的地缘政治区域非对称关系instance
(instance dependentGeopoliticalArea TransitiveRelation) Government.kif 421-421 依赖的地缘政治区域传递关系instance
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) Government.kif 422-422 依赖的地缘政治区域主要地缘政治细分 是 内部相关
(subrelation dependentGeopoliticalArea claimedTerritory) Geography.kif 966-966 依赖的地缘政治区域声称领土subrelation

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


(format ChineseLanguage dependentGeopoliticalArea "%1 是 %2 的 dependent ") domainEnglishFormat.kif 3230-3230
(format ChineseTraditionalLanguage dependentGeopoliticalArea "%1 是 %2 的 dependent ") domainEnglishFormat.kif 3229-3229
(format EnglishLanguage dependentGeopoliticalArea "%1 is a dependent of %2") domainEnglishFormat.kif 3228-3228
(termFormat ChineseLanguage dependentGeopoliticalArea "依赖的地缘政治区域") domainEnglishFormat.kif 19128-19128
(termFormat ChineseTraditionalLanguage dependentGeopoliticalArea "依賴的地緣政治區域") domainEnglishFormat.kif 19127-19127
(termFormat EnglishLanguage dependentGeopoliticalArea "dependent geopolitical area") domainEnglishFormat.kif 19126-19126

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


(=>
    (dependentGeopoliticalArea ?AREA ?COUNTRY)
    (not
        (geopoliticalSubdivision ?AREA ?COUNTRY)))
Government.kif 441-444
(=>
    (dependentGeopoliticalArea ?AREA ?COUNTRY)
    (possesses ?COUNTRY ?AREA))
Government.kif 433-435

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


(=>
    (and
        (independenceDate ?COUNTRY1 ?DATE)
        (instance ?INST ?DATE))
    (holdsDuring
        (FutureFn ?INST)
        (not
            (exists (?COUNTRY2)
                (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))
Government.kif 510-517
(=>
    (dependentAreaOfType ?AREA ?COUNTRY ?TYPE)
    (dependentGeopoliticalArea ?AREA ?COUNTRY))
Government.kif 437-439
(=>
    (geopoliticalSubdivision ?AREA ?COUNTRY)
    (not
        (dependentGeopoliticalArea ?AREA ?COUNTRY)))
Government.kif 446-449
(=>
    (instance ?AREA OverseasArea)
    (exists (?COUNTRY)
        (and
            (instance ?COUNTRY Nation)
            (dependentGeopoliticalArea ?AREA ?COUNTRY))))
Government.kif 457-462
(=>
    (member ?AREA UnitedStatesMinorOutlyingIslands)
    (dependentGeopoliticalArea ?AREA UnitedStates))
Media.kif 2614-2616

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


(dependentGeopoliticalArea AalandIslands Finland) Media.kif 2562-2562 AalandIslands芬兰dependent
(dependentGeopoliticalArea AmericanSamoa UnitedStates) CountriesAndRegions.kif 3726-3726 美国萨摩亚美国dependent
(dependentGeopoliticalArea Anguilla UnitedKingdom) CountriesAndRegions.kif 3728-3728 安圭拉英国dependent
(dependentGeopoliticalArea Aruba Netherlands) CountriesAndRegions.kif 3730-3730 阿鲁巴荷兰dependent
(dependentGeopoliticalArea AshmoreAndCartierIslands Australia) CountriesAndRegions.kif 3732-3732 阿什莫尔和卡地亚岛屿澳大利亚dependent
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3734-3734 贝克岛美国dependent
(dependentGeopoliticalArea BassasDaIndia France) CountriesAndRegions.kif 3736-3736 Bassas da 印度法国dependent
(dependentGeopoliticalArea Bermuda UnitedKingdom) CountriesAndRegions.kif 3738-3738 百慕大英国dependent
(dependentGeopoliticalArea BouvetIsland Norway) CountriesAndRegions.kif 3740-3740 布维岛挪威dependent
(dependentGeopoliticalArea BritishIndianOceanTerritory UnitedKingdom) CountriesAndRegions.kif 3742-3742 英属印度洋领地英国dependent
(dependentGeopoliticalArea BritishVirginIslands UnitedKingdom) CountriesAndRegions.kif 3744-3744 英属维尔京群岛英国dependent
(dependentGeopoliticalArea CaymanIslands UnitedKingdom) CountriesAndRegions.kif 3747-3747 开曼群岛英国dependent
(dependentGeopoliticalArea ChannelIslands UnitedKingdom) CountriesAndRegions.kif 3750-3750 ChannelIslands英国dependent
(dependentGeopoliticalArea ChristmasIsland Australia) CountriesAndRegions.kif 3754-3754 圣诞岛澳大利亚dependent
(dependentGeopoliticalArea ClippertonIsland France) CountriesAndRegions.kif 3756-3756 Clipperton岛法国dependent
(dependentGeopoliticalArea CocosKeelingIslands Australia) CountriesAndRegions.kif 3758-3758 科科斯基林群岛澳大利亚dependent
(dependentGeopoliticalArea CookIslands NewZealand) CountriesAndRegions.kif 3760-3760 库克群岛新西兰dependent
(dependentGeopoliticalArea CoralSeaIslands Australia) CountriesAndRegions.kif 3762-3762 珊瑚海岛屿澳大利亚dependent
(dependentGeopoliticalArea EuropaIsland France) CountriesAndRegions.kif 3764-3764 欧罗巴岛法国dependent
(dependentGeopoliticalArea FalklandIslands UnitedKingdom) CountriesAndRegions.kif 3766-3766 福克兰群岛英国dependent
(dependentGeopoliticalArea FaroeIslands Denmark) CountriesAndRegions.kif 3768-3768 法罗群岛丹麦dependent
(dependentGeopoliticalArea FrenchGuiana France) CountriesAndRegions.kif 3770-3770 法属圭亚那法国dependent
(dependentGeopoliticalArea FrenchPolynesia France) CountriesAndRegions.kif 3772-3772 法属波利尼西亚法国dependent
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France) CountriesAndRegions.kif 3774-3774 法国南部和南极的土地法国dependent

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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