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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 451-456
(domain dependentGeopoliticalArea 1 GeopoliticalArea) Government.kif 448-448 domain dependentGeopoliticalArea, 1 and GeopoliticalArea
(domain dependentGeopoliticalArea 2 GeopoliticalArea) Government.kif 449-449 domain dependentGeopoliticalArea, 2 and GeopoliticalArea
(instance dependentGeopoliticalArea AsymmetricRelation) Government.kif 445-445 instance dependentGeopoliticalArea and AsymmetricRelation
(instance dependentGeopoliticalArea TransitiveRelation) Government.kif 446-446 instance dependentGeopoliticalArea and TransitiveRelation
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) Government.kif 447-447 relatedInternalConcept dependentGeopoliticalArea and primaryGeopoliticalSubdivision
(subrelation dependentGeopoliticalArea claimedTerritory) Geography.kif 965-965 subrelation dependentGeopoliticalArea and claimedTerritory

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


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

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


(=>
    (dependentGeopoliticalArea ?AREA ?COUNTRY)
    (not
        (geopoliticalSubdivision ?AREA ?COUNTRY)))
Government.kif 466-469
(=>
    (dependentGeopoliticalArea ?AREA ?COUNTRY)
    (possesses ?COUNTRY ?AREA))
Government.kif 458-460

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


(=>
    (dependentAreaOfType ?AREA ?COUNTRY ?TYPE)
    (dependentGeopoliticalArea ?AREA ?COUNTRY))
Government.kif 462-464
(=>
    (geopoliticalSubdivision ?AREA ?COUNTRY)
    (not
        (dependentGeopoliticalArea ?AREA ?COUNTRY)))
Government.kif 471-474
(=>
    (independenceDate ?COUNTRY1 ?DATE)
    (holdsDuring
        (FutureFn ?DATE)
        (not
            (exists (?COUNTRY2)
                (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2)))))
Government.kif 535-540
(=>
    (instance ?AREA OverseasArea)
    (exists (?COUNTRY)
        (and
            (instance ?COUNTRY Nation)
            (dependentGeopoliticalArea ?AREA ?COUNTRY))))
Government.kif 482-487
(=>
    (member ?AREA UnitedStatesMinorOutlyingIslands)
    (dependentGeopoliticalArea ?AREA UnitedStates))
Media.kif 2584-2586

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


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

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners