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 9188-9192
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 9184-9184 DependencyOrSpecialSovereigntyArea地政学的地域subclass では

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


(disjoint IndependentState DependencyOrSpecialSovereigntyArea) Mid-level-ontology.kif 9185-9185 IndependentStateDependencyOrSpecialSovereigntyAreadisjoint では
(instance AalandIslands DependencyOrSpecialSovereigntyArea) Media.kif 2563-2563 AalandIslandsDependencyOrSpecialSovereigntyAreainstance では
(instance AmericanSamoa DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3853-3853 AmericanSamoaDependencyOrSpecialSovereigntyAreainstance では
(instance Anguilla DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3854-3854 AnguillaDependencyOrSpecialSovereigntyAreainstance では
(instance Aruba DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3855-3855 ArubaDependencyOrSpecialSovereigntyAreainstance では
(instance AshmoreAndCartierIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3856-3856 AshmoreAndCartierIslandsDependencyOrSpecialSovereigntyAreainstance では
(instance BakerIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3857-3857 BakerIslandDependencyOrSpecialSovereigntyAreainstance では
(instance BassasDaIndia DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3858-3858 BassasDaIndiaDependencyOrSpecialSovereigntyAreainstance では
(instance Bermuda DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3859-3859 BermudaDependencyOrSpecialSovereigntyAreainstance では
(instance BouvetIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3860-3860 BouvetIslandDependencyOrSpecialSovereigntyAreainstance では
(instance BritishIndianOceanTerritory DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3861-3861 BritishIndianOceanTerritoryDependencyOrSpecialSovereigntyAreainstance では
(instance BritishVirginIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3862-3862 BritishVirginIslandsDependencyOrSpecialSovereigntyAreainstance では
(instance CaymanIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3863-3863 CaymanIslandsDependencyOrSpecialSovereigntyAreainstance では
(instance ChannelIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3747-3747 ChannelIslandsDependencyOrSpecialSovereigntyAreainstance では
(instance ChristmasIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3864-3864 ChristmasIslandDependencyOrSpecialSovereigntyAreainstance では
(instance ClippertonIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3865-3865 ClippertonIslandDependencyOrSpecialSovereigntyAreainstance では
(instance CocosKeelingIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3866-3866 CocosKeelingIslandsDependencyOrSpecialSovereigntyAreainstance では
(instance CookIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3867-3867 CookIslandsDependencyOrSpecialSovereigntyAreainstance では
(instance CoralSeaIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3868-3868 CoralSeaIslandsDependencyOrSpecialSovereigntyAreainstance では
(instance EuropaIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3869-3869 EuropaIslandDependencyOrSpecialSovereigntyAreainstance では
(instance FalklandIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3870-3870 FalklandIslandsDependencyOrSpecialSovereigntyAreainstance では
(instance FaroeIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3871-3871 FaroeIslandsDependencyOrSpecialSovereigntyAreainstance では
(instance FrenchGuiana DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3872-3872 FrenchGuianaDependencyOrSpecialSovereigntyAreainstance では
(instance FrenchPolynesia DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3873-3873 FrenchPolynesiaDependencyOrSpecialSovereigntyAreainstance では
(instance FrenchSouthernAndAntarcticLands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3874-3874 FrenchSouthernAndAntarcticLandsDependencyOrSpecialSovereigntyAreainstance では

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 PostalPlace 地政学的地域located して PostalPlacePostalPlaceinstance では 地政学的地域国民instance では 地政学的地域DependencyOrSpecialSovereigntyAreainstance では postCountry PostalPlace and 地政学的地域
(=>
    (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