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 8021-8025
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 8017-8017 DependencyOrSpecialSovereigntyArea ist eine teilkategorie von GeopoliticalArea

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


(disjoint IndependentState DependencyOrSpecialSovereigntyArea) Mid-level-ontology.kif 8018-8018 IndependentState ist dijunkt von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance AalandIslands DependencyOrSpecialSovereigntyArea) Media.kif 2561-2561 AalandIslands ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance AmericanSamoa DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3858-3858 AmericanSamoa ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance Anguilla DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3859-3859 Anguilla ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance Aruba DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3860-3860 Aruba ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance AshmoreAndCartierIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3861-3861 AshmoreAndCartierIslands ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance BakerIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3862-3862 BakerIsland ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance BassasDaIndia DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3863-3863 BassasDaIndia ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance Bermuda DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3864-3864 Bermuda ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance BouvetIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3865-3865 BouvetIsland ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance BritishIndianOceanTerritory DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3866-3866 BritishIndianOceanTerritory ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance BritishVirginIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3867-3867 BritishVirginIslands ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance CaymanIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3868-3868 CaymanIslands ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance ChannelIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3752-3752 ChannelIslands ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance ChristmasIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3869-3869 ChristmasIsland ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance ClippertonIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3870-3870 ClippertonIsland ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance CocosKeelingIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3871-3871 CocosKeelingIslands ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance CookIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3872-3872 CookIslands ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance CoralSeaIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3873-3873 CoralSeaIslands ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance EuropaIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3874-3874 EuropaIsland ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance FalklandIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3875-3875 FalklandIslands ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance FaroeIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3876-3876 FaroeIslands ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance FrenchGuiana DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3877-3877 FrenchGuiana ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance FrenchPolynesia DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3878-3878 FrenchPolynesia ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}
(instance FrenchSouthernAndAntarcticLands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3879-3879 FrenchSouthernAndAntarcticLands ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}

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 24713-24720 PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und GeopoliticalArea ist ein fall von Nation %n{nicht} oder ** GeopoliticalArea ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht} genau dann wenn 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 24729-24736

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


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


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