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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DependencyOrSpecialSovereigntyArea
DependencyOrSpecialSovereigntyAreaCrown_Colony, New_Netherland, colony, dependency, dependency_or_special_sovereignty_area, possession

appearance as argument number 1
-------------------------


(documentation DependencyOrSpecialSovereigntyArea EnglishLanguage "DependencyOrSpecialSovereigntyArea is a subclass of GeopoliticalArea, representing the classification 'Dependency or Special Sovereignty Area' used by the CIA World Fact Book. Cf. IndependentState.") Mid-level-ontology.kif 7762-7766
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 7758-7758

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


(disjoint IndependentState DependencyOrSpecialSovereigntyArea) Mid-level-ontology.kif 7759-7759
(instance AalandIslands DependencyOrSpecialSovereigntyArea) Media.kif 2531-2531
(instance AmericanSamoa DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3862-3862
(instance Anguilla DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3863-3863
(instance Aruba DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3864-3864
(instance AshmoreAndCartierIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3865-3865
(instance BakerIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3866-3866
(instance BassasDaIndia DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3867-3867
(instance Bermuda DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3868-3868
(instance BouvetIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3869-3869
(instance BritishIndianOceanTerritory DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3870-3870
(instance BritishVirginIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3871-3871
(instance CaymanIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3872-3872
(instance ChannelIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3756-3756
(instance ChristmasIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3873-3873
(instance ClippertonIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3874-3874
(instance CocosKeelingIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3875-3875
(instance CookIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3876-3876
(instance CoralSeaIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3877-3877
(instance EuropaIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3878-3878
(instance FalklandIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3879-3879
(instance FaroeIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3880-3880
(instance FrenchGuiana DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3881-3881
(instance FrenchPolynesia DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3882-3882
(instance FrenchSouthernAndAntarcticLands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3883-3883

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22476-22483
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 22492-22499

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


(=>
    (postCountry ?PLACE ?COUNTRY)
    (or
        (instance ?COUNTRY Nation)
        (instance ?COUNTRY DependencyOrSpecialSovereigntyArea)))
Mid-level-ontology.kif 22470-22474


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