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 2 GeopoliticalArea) Government.kif 449-449
(instance dependentGeopoliticalArea AsymmetricRelation) Government.kif 445-445
(instance dependentGeopoliticalArea TransitiveRelation) Government.kif 446-446
(relatedInternalConcept dependentGeopoliticalArea primaryGeopoliticalSubdivision) Government.kif 447-447
(subrelation dependentGeopoliticalArea claimedTerritory) Geography.kif 952-952

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


(format EnglishLanguage dependentGeopoliticalArea "%1 is a dependent of %2") domainEnglishFormat.kif 817-817
(termFormat EnglishLanguage dependentGeopoliticalArea "dependent geopolitical area") domainEnglishFormat.kif 3609-3609

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
(dependentGeopoliticalArea AmericanSamoa UnitedStates) CountriesAndRegions.kif 3730-3730
(dependentGeopoliticalArea Anguilla UnitedKingdom) CountriesAndRegions.kif 3732-3732
(dependentGeopoliticalArea Aruba Netherlands) CountriesAndRegions.kif 3734-3734
(dependentGeopoliticalArea AshmoreAndCartierIslands Australia) CountriesAndRegions.kif 3736-3736
(dependentGeopoliticalArea BakerIsland UnitedStates) CountriesAndRegions.kif 3738-3738
(dependentGeopoliticalArea BassasDaIndia France) CountriesAndRegions.kif 3740-3740
(dependentGeopoliticalArea Bermuda UnitedKingdom) CountriesAndRegions.kif 3742-3742
(dependentGeopoliticalArea BouvetIsland Norway) CountriesAndRegions.kif 3744-3744
(dependentGeopoliticalArea BritishIndianOceanTerritory UnitedKingdom) CountriesAndRegions.kif 3746-3746
(dependentGeopoliticalArea BritishVirginIslands UnitedKingdom) CountriesAndRegions.kif 3748-3748
(dependentGeopoliticalArea CaymanIslands UnitedKingdom) CountriesAndRegions.kif 3751-3751
(dependentGeopoliticalArea ChannelIslands UnitedKingdom) CountriesAndRegions.kif 3754-3754
(dependentGeopoliticalArea ChristmasIsland Australia) CountriesAndRegions.kif 3758-3758
(dependentGeopoliticalArea ClippertonIsland France) CountriesAndRegions.kif 3760-3760
(dependentGeopoliticalArea CocosKeelingIslands Australia) CountriesAndRegions.kif 3762-3762
(dependentGeopoliticalArea CookIslands NewZealand) CountriesAndRegions.kif 3764-3764
(dependentGeopoliticalArea CoralSeaIslands Australia) CountriesAndRegions.kif 3766-3766
(dependentGeopoliticalArea EuropaIsland France) CountriesAndRegions.kif 3768-3768
(dependentGeopoliticalArea FalklandIslands UnitedKingdom) CountriesAndRegions.kif 3770-3770
(dependentGeopoliticalArea FaroeIslands Denmark) CountriesAndRegions.kif 3772-3772
(dependentGeopoliticalArea FrenchGuiana France) CountriesAndRegions.kif 3774-3774
(dependentGeopoliticalArea FrenchPolynesia France) CountriesAndRegions.kif 3776-3776
(dependentGeopoliticalArea FrenchSouthernAndAntarcticLands France) CountriesAndRegions.kif 3778-3778

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