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 462-467
(domain dependentGeopoliticalArea 1 GeopoliticalArea) Government.kif 459-459
(domain dependentGeopoliticalArea 2 GeopoliticalArea) Government.kif 460-460
(instance dependentGeopoliticalArea AsymmetricRelation) Government.kif 456-456
(instance dependentGeopoliticalArea TransitiveRelation) Government.kif 457-457
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) Government.kif 458-458
(subrelation dependentGeopoliticalArea claimedTerritory) Geography.kif 966-966

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 477-480
(=>
    (dependentGeopoliticalArea ?AREA ?COUNTRY)
    (possesses ?COUNTRY ?AREA))		 Government.kif 469-471

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


(=>
    (and
        (independenceDate ?COUNTRY1 ?DATE)
        (instance ?INST ?DATE))
    (holdsDuring
        (FutureFn ?INST)
        (not
            (exists (?COUNTRY2)
                (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))		 Government.kif 546-553
(=>
    (dependentAreaOfType ?AREA ?COUNTRY ?TYPE)
    (dependentGeopoliticalArea ?AREA ?COUNTRY))		 Government.kif 473-475
(=>
    (geopoliticalSubdivision ?AREA ?COUNTRY)
    (not
        (dependentGeopoliticalArea ?AREA ?COUNTRY)))		 Government.kif 482-485
(=>
    (instance ?AREA OverseasArea)
    (exists (?COUNTRY)
        (and
            (instance ?COUNTRY Nation)
            (dependentGeopoliticalArea ?AREA ?COUNTRY))))		 Government.kif 493-498
(=>
    (member ?AREA UnitedStatesMinorOutlyingIslands)
    (dependentGeopoliticalArea ?AREA UnitedStates))		 Media.kif 2614-2616

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


(dependentGeopoliticalArea AalandIslands Finland) Media.kif 2562-2562
(dependentGeopoliticalArea AmericanSamoa UnitedStates) CountriesAndRegions.kif 3726-3726
(dependentGeopoliticalArea Anguilla UnitedKingdom) CountriesAndRegions.kif 3728-3728
(dependentGeopoliticalArea Aruba Netherlands) CountriesAndRegions.kif 3730-3730
(dependentGeopoliticalArea AshmoreAndCartierIslands Australia) CountriesAndRegions.kif 3732-3732
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3734-3734
(dependentGeopoliticalArea BassasDaIndia France) CountriesAndRegions.kif 3736-3736
(dependentGeopoliticalArea Bermuda UnitedKingdom) CountriesAndRegions.kif 3738-3738
(dependentGeopoliticalArea BouvetIsland Norway) CountriesAndRegions.kif 3740-3740
(dependentGeopoliticalArea BritishIndianOceanTerritory UnitedKingdom) CountriesAndRegions.kif 3742-3742
(dependentGeopoliticalArea BritishVirginIslands UnitedKingdom) CountriesAndRegions.kif 3744-3744
(dependentGeopoliticalArea CaymanIslands UnitedKingdom) CountriesAndRegions.kif 3747-3747
(dependentGeopoliticalArea ChannelIslands UnitedKingdom) CountriesAndRegions.kif 3750-3750
(dependentGeopoliticalArea ChristmasIsland Australia) CountriesAndRegions.kif 3754-3754
(dependentGeopoliticalArea ClippertonIsland France) CountriesAndRegions.kif 3756-3756
(dependentGeopoliticalArea CocosKeelingIslands Australia) CountriesAndRegions.kif 3758-3758
(dependentGeopoliticalArea CookIslands NewZealand) CountriesAndRegions.kif 3760-3760
(dependentGeopoliticalArea CoralSeaIslands Australia) CountriesAndRegions.kif 3762-3762
(dependentGeopoliticalArea EuropaIsland France) CountriesAndRegions.kif 3764-3764
(dependentGeopoliticalArea FalklandIslands UnitedKingdom) CountriesAndRegions.kif 3766-3766
(dependentGeopoliticalArea FaroeIslands Denmark) CountriesAndRegions.kif 3768-3768
(dependentGeopoliticalArea FrenchGuiana France) CountriesAndRegions.kif 3770-3770
(dependentGeopoliticalArea FrenchPolynesia France) CountriesAndRegions.kif 3772-3772
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France) CountriesAndRegions.kif 3774-3774

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