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 The number 1 argument of dependent geopolitical area is an instance of geopolitical area
(domain dependentGeopoliticalArea 2 GeopoliticalArea) Government.kif 449-449 The number 2 argument of dependent geopolitical area is an instance of geopolitical area
(instance dependentGeopoliticalArea AsymmetricRelation) Government.kif 445-445 dependent geopolitical area is an instance of asymmetric relation
(instance dependentGeopoliticalArea TransitiveRelation) Government.kif 446-446 dependent geopolitical area is an instance of transitive relation
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) Government.kif 447-447 dependent geopolitical area is internally related to primary geopolitical subdivision
(subrelation dependentGeopoliticalArea claimedTerritory) Geography.kif 952-952 dependent geopolitical area is a subrelation of claimed territory

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 19057-19057 "依赖的地缘政治区域" is the printable form of dependent geopolitical area in ChineseLanguage
(termFormat ChineseTraditionalLanguage dependentGeopoliticalArea "依賴的地緣政治區域") domainEnglishFormat.kif 19056-19056 "依賴的地緣政治區域" is the printable form of dependent geopolitical area in ChineseTraditionalLanguage
(termFormat EnglishLanguage dependentGeopoliticalArea "dependent geopolitical area") domainEnglishFormat.kif 19055-19055 "dependent geopolitical area" is the printable form of dependent geopolitical area in english language

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 ?AREA ?DATE)
    (exists (?TIME)
        (and
            (instance ?TIME ?DATE)
            (holdsDuring
                (ImmediateFutureFn ?TIME)
                (forall (?COUNTRY)
                    (not
                        (dependentGeopoliticalArea ?AREA ?COUNTRY)))))))
Government.kif 540-547
(=>
    (independenceDate ?COUNTRY1 ?DATE)
    (forall (?COUNTRY2)
        (not
            (dependentGeopoliticalArea ?COUNTRY1 ?COUNTRY2))))
Government.kif 535-538
(=>
    (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 AalandIslands is a dependent of finland
(dependentGeopoliticalArea AmericanSamoa UnitedStates) CountriesAndRegions.kif 3727-3727 American samoa is a dependent of united states
(dependentGeopoliticalArea Anguilla UnitedKingdom) CountriesAndRegions.kif 3729-3729 Anguilla is a dependent of united kingdom
(dependentGeopoliticalArea Aruba Netherlands) CountriesAndRegions.kif 3731-3731 Aruba is a dependent of netherlands
(dependentGeopoliticalArea AshmoreAndCartierIslands Australia) CountriesAndRegions.kif 3733-3733 Ashmore and cartier islands is a dependent of australia
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3735-3735 Baker island is a dependent of united states
(dependentGeopoliticalArea BassasDaIndia France) CountriesAndRegions.kif 3737-3737 Bassas da india is a dependent of france
(dependentGeopoliticalArea Bermuda UnitedKingdom) CountriesAndRegions.kif 3739-3739 Bermuda is a dependent of united kingdom
(dependentGeopoliticalArea BouvetIsland Norway) CountriesAndRegions.kif 3741-3741 Bouvet island is a dependent of norway
(dependentGeopoliticalArea BritishIndianOceanTerritory UnitedKingdom) CountriesAndRegions.kif 3743-3743 British indian ocean territory is a dependent of united kingdom
(dependentGeopoliticalArea BritishVirginIslands UnitedKingdom) CountriesAndRegions.kif 3745-3745 British virgin islands is a dependent of united kingdom
(dependentGeopoliticalArea CaymanIslands UnitedKingdom) CountriesAndRegions.kif 3748-3748 Cayman islands is a dependent of united kingdom
(dependentGeopoliticalArea ChannelIslands UnitedKingdom) CountriesAndRegions.kif 3751-3751 ChannelIslands is a dependent of united kingdom
(dependentGeopoliticalArea ChristmasIsland Australia) CountriesAndRegions.kif 3755-3755 Christmas island is a dependent of australia
(dependentGeopoliticalArea ClippertonIsland France) CountriesAndRegions.kif 3757-3757 Clipperton island is a dependent of france
(dependentGeopoliticalArea CocosKeelingIslands Australia) CountriesAndRegions.kif 3759-3759 Cocos keeling islands is a dependent of australia
(dependentGeopoliticalArea CookIslands NewZealand) CountriesAndRegions.kif 3761-3761 Cook islands is a dependent of new zealand
(dependentGeopoliticalArea CoralSeaIslands Australia) CountriesAndRegions.kif 3763-3763 Coral sea islands is a dependent of australia
(dependentGeopoliticalArea EuropaIsland France) CountriesAndRegions.kif 3765-3765 Europa island is a dependent of france
(dependentGeopoliticalArea FalklandIslands UnitedKingdom) CountriesAndRegions.kif 3767-3767 Falkland islands is a dependent of united kingdom
(dependentGeopoliticalArea FaroeIslands Denmark) CountriesAndRegions.kif 3769-3769 Faroe islands is a dependent of denmark
(dependentGeopoliticalArea FrenchGuiana France) CountriesAndRegions.kif 3771-3771 French guiana is a dependent of france
(dependentGeopoliticalArea FrenchPolynesia France) CountriesAndRegions.kif 3773-3773 French polynesia is a dependent of france
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France) CountriesAndRegions.kif 3775-3775 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners