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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - DependencyOrSpecialSovereigntyArea
DependencyOrSpecialSovereigntyArea(dependency or special sovereignty area)Crown_Colony, New_Netherland, colony, dependency, 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 9188-9192
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 9184-9184 Dependency or special sovereignty area is a subclass of geopolitical area

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


(disjoint IndependentState DependencyOrSpecialSovereigntyArea) Mid-level-ontology.kif 9185-9185 Independent state is disjoint from dependency or special sovereignty area
(instance AalandIslands DependencyOrSpecialSovereigntyArea) Media.kif 2563-2563 Aaland islands is an instance of dependency or special sovereignty area
(instance AmericanSamoa DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3853-3853 American samoa is an instance of dependency or special sovereignty area
(instance Anguilla DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3854-3854 Anguilla is an instance of dependency or special sovereignty area
(instance Aruba DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3855-3855 Aruba is an instance of dependency or special sovereignty area
(instance AshmoreAndCartierIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3856-3856 Ashmore and cartier islands is an instance of dependency or special sovereignty area
(instance BakerIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3857-3857 Baker island is an instance of dependency or special sovereignty area
(instance BassasDaIndia DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3858-3858 Bassas da india is an instance of dependency or special sovereignty area
(instance Bermuda DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3859-3859 Bermuda is an instance of dependency or special sovereignty area
(instance BouvetIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3860-3860 Bouvet island is an instance of dependency or special sovereignty area
(instance BritishIndianOceanTerritory DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3861-3861 British indian ocean territory is an instance of dependency or special sovereignty area
(instance BritishVirginIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3862-3862 British virgin islands is an instance of dependency or special sovereignty area
(instance CaymanIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3863-3863 Cayman islands is an instance of dependency or special sovereignty area
(instance ChannelIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3747-3747 Channel islands is an instance of dependency or special sovereignty area
(instance ChristmasIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3864-3864 Christmas island is an instance of dependency or special sovereignty area
(instance ClippertonIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3865-3865 Clipperton island is an instance of dependency or special sovereignty area
(instance CocosKeelingIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3866-3866 Cocos keeling islands is an instance of dependency or special sovereignty area
(instance CookIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3867-3867 Cook islands is an instance of dependency or special sovereignty area
(instance CoralSeaIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3868-3868 Coral sea islands is an instance of dependency or special sovereignty area
(instance EuropaIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3869-3869 Europa island is an instance of dependency or special sovereignty area
(instance FalklandIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3870-3870 Falkland islands is an instance of dependency or special sovereignty area
(instance FaroeIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3871-3871 Faroe islands is an instance of dependency or special sovereignty area
(instance FrenchGuiana DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3872-3872 French guiana is an instance of dependency or special sovereignty area
(instance FrenchPolynesia DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3873-3873 French polynesia is an instance of dependency or special sovereignty area
(instance FrenchSouthernAndAntarcticLands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3874-3874 French southern and antarctic lands is an instance of dependency or special sovereignty area

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 26375-26382 A postal place is located at a geopolitical area and the postal place is an instance of postal place and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the postal place is in the geopolitical area
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 26391-26398

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


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


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