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 426-431
(domain dependentGeopoliticalArea 1 GeopoliticalArea) Government.kif 423-423 The number 1 argument of dependent geopolitical area is an instance of geopolitical area
(domain dependentGeopoliticalArea 2 GeopoliticalArea) Government.kif 424-424 The number 2 argument of dependent geopolitical area is an instance of geopolitical area
(instance dependentGeopoliticalArea AsymmetricRelation) Government.kif 420-420 dependent geopolitical area is an instance of asymmetric relation
(instance dependentGeopoliticalArea TransitiveRelation) Government.kif 421-421 dependent geopolitical area is an instance of transitive relation
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) Government.kif 422-422 dependent geopolitical area is internally related to primary geopolitical subdivision
(subrelation dependentGeopoliticalArea claimedTerritory) Geography.kif 966-966 dependent geopolitical area is a subrelation of claimed territory

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


(format ChineseLanguage dependentGeopoliticalArea "%1 是 %2 的 dependent ") domainEnglishFormat.kif 3222-3222
(format ChineseTraditionalLanguage dependentGeopoliticalArea "%1 是 %2 的 dependent ") domainEnglishFormat.kif 3221-3221
(format EnglishLanguage dependentGeopoliticalArea "%1 is a dependent of %2") domainEnglishFormat.kif 3220-3220
(termFormat ChineseLanguage dependentGeopoliticalArea "依赖的地缘政治区域") domainEnglishFormat.kif 19144-19144
(termFormat ChineseTraditionalLanguage dependentGeopoliticalArea "依賴的地緣政治區域") domainEnglishFormat.kif 19143-19143
(termFormat EnglishLanguage dependentGeopoliticalArea "dependent geopolitical area") domainEnglishFormat.kif 19142-19142

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 Aaland islands is a dependent of finland
(dependentGeopoliticalArea AmericanSamoa UnitedStates) CountriesAndRegions.kif 3726-3726 American samoa is a dependent of united states
(dependentGeopoliticalArea Anguilla UnitedKingdom) CountriesAndRegions.kif 3728-3728 Anguilla is a dependent of united kingdom
(dependentGeopoliticalArea Aruba Netherlands) CountriesAndRegions.kif 3730-3730 Aruba is a dependent of netherlands
(dependentGeopoliticalArea AshmoreAndCartierIslands Australia) CountriesAndRegions.kif 3732-3732 Ashmore and cartier islands is a dependent of australia
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3734-3734 Baker island is a dependent of united states
(dependentGeopoliticalArea BassasDaIndia France) CountriesAndRegions.kif 3736-3736 Bassas da india is a dependent of france
(dependentGeopoliticalArea Bermuda UnitedKingdom) CountriesAndRegions.kif 3738-3738 Bermuda is a dependent of united kingdom
(dependentGeopoliticalArea BouvetIsland Norway) CountriesAndRegions.kif 3740-3740 Bouvet island is a dependent of norway
(dependentGeopoliticalArea BritishIndianOceanTerritory UnitedKingdom) CountriesAndRegions.kif 3742-3742 British indian ocean territory is a dependent of united kingdom
(dependentGeopoliticalArea BritishVirginIslands UnitedKingdom) CountriesAndRegions.kif 3744-3744 British virgin islands is a dependent of united kingdom
(dependentGeopoliticalArea CaymanIslands UnitedKingdom) CountriesAndRegions.kif 3747-3747 Cayman islands is a dependent of united kingdom
(dependentGeopoliticalArea ChannelIslands UnitedKingdom) CountriesAndRegions.kif 3750-3750 Channel islands is a dependent of united kingdom
(dependentGeopoliticalArea ChristmasIsland Australia) CountriesAndRegions.kif 3754-3754 Christmas island is a dependent of australia
(dependentGeopoliticalArea ClippertonIsland France) CountriesAndRegions.kif 3756-3756 Clipperton island is a dependent of france
(dependentGeopoliticalArea CocosKeelingIslands Australia) CountriesAndRegions.kif 3758-3758 Cocos keeling islands is a dependent of australia
(dependentGeopoliticalArea CookIslands NewZealand) CountriesAndRegions.kif 3760-3760 Cook islands is a dependent of new zealand
(dependentGeopoliticalArea CoralSeaIslands Australia) CountriesAndRegions.kif 3762-3762 Coral sea islands is a dependent of australia
(dependentGeopoliticalArea EuropaIsland France) CountriesAndRegions.kif 3764-3764 Europa island is a dependent of france
(dependentGeopoliticalArea FalklandIslands UnitedKingdom) CountriesAndRegions.kif 3766-3766 Falkland islands is a dependent of united kingdom
(dependentGeopoliticalArea FaroeIslands Denmark) CountriesAndRegions.kif 3768-3768 Faroe islands is a dependent of denmark
(dependentGeopoliticalArea FrenchGuiana France) CountriesAndRegions.kif 3770-3770 French guiana is a dependent of france
(dependentGeopoliticalArea FrenchPolynesia France) CountriesAndRegions.kif 3772-3772 French polynesia is a dependent of france
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France) CountriesAndRegions.kif 3774-3774 French southern and antarctic lands is a dependent of 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 3.0 is open source software produced by Articulate Software and its partners