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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DependencyOrSpecialSovereigntyArea
DependencyOrSpecialSovereigntyArea

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 7760-7764
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 7756-7756 subclass DependencyOrSpecialSovereigntyArea and GeopoliticalArea

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


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

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 22412-22419 located PostalPlace and GeopoliticalArea instance PostalPlace and PostalPlace instance GeopoliticalArea and Nation instance GeopoliticalArea and DependencyOrSpecialSovereigntyArea postCountry PostalPlace and GeopoliticalArea
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 22428-22435

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


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


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