DependencyOrSpecialSovereigntyArea - Sigma Knowledge base Browser

appearance as argument number 1

(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea)	Mid-level-ontology.kif 9224-9224	Dependency or special sovereignty area is a subclass of geopolitical area
(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 9228-9232	Dependency or special sovereignty area is a subclass of geopolitical area

appearance as argument number 2

(instance ChannelIslands DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3752-3752	Channel islands is an instance of dependency or special sovereignty area
(instance USVirginIslands DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3852-3852	US virgin islands is an instance of dependency or special sovereignty area
(instance AmericanSamoa DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3858-3858	American samoa is an instance of dependency or special sovereignty area
(instance Anguilla DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3859-3859	Anguilla is an instance of dependency or special sovereignty area
(instance Aruba DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3860-3860	Aruba is an instance of dependency or special sovereignty area
(instance AshmoreAndCartierIslands DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3861-3861	Ashmore and cartier islands is an instance of dependency or special sovereignty area
(instance BakerIsland DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3862-3862	Baker island is an instance of dependency or special sovereignty area
(instance BassasDaIndia DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3863-3863	Bassas da india is an instance of dependency or special sovereignty area
(instance Bermuda DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3864-3864	Bermuda is an instance of dependency or special sovereignty area
(instance BouvetIsland DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3865-3865	Bouvet island is an instance of dependency or special sovereignty area
(instance BritishIndianOceanTerritory DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3866-3866	British indian ocean territory is an instance of dependency or special sovereignty area
(instance BritishVirginIslands DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3867-3867	British virgin islands is an instance of dependency or special sovereignty area
(instance CaymanIslands DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3868-3868	Cayman islands is an instance of dependency or special sovereignty area
(instance ChristmasIsland DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3869-3869	Christmas island is an instance of dependency or special sovereignty area
(instance ClippertonIsland DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3870-3870	Clipperton island is an instance of dependency or special sovereignty area
(instance CocosKeelingIslands DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3871-3871	Cocos keeling islands is an instance of dependency or special sovereignty area
(instance CookIslands DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3872-3872	Cook islands is an instance of dependency or special sovereignty area
(instance CoralSeaIslands DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3873-3873	Coral sea islands is an instance of dependency or special sovereignty area
(instance EuropaIsland DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3874-3874	Europa island is an instance of dependency or special sovereignty area
(instance FalklandIslands DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3875-3875	Falkland islands is an instance of dependency or special sovereignty area
(instance FaroeIslands DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3876-3876	Faroe islands is an instance of dependency or special sovereignty area
(instance FrenchGuiana DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3877-3877	French guiana is an instance of dependency or special sovereignty area
(instance FrenchPolynesia DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3878-3878	French polynesia is an instance of dependency or special sovereignty area
(instance FrenchSouthernAndAntarcticLands DependencyOrSpecialSovereigntyArea)	CountriesAndRegions.kif 3879-3879	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 27094-27101	X is located at Y, X is an instance of postal place, Y is an instance of nation or Y is an instance of dependency or special sovereignty area if, and only if X is in Y
(=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA))	Mid-level-ontology.kif 27110-27117	If X is in Y, Y is a geographic subregion of Z, and Z is an instance of nation or Z is an instance of dependency or special sovereignty area, then X is in Z

consequent

(=>
    (postCountry ?PLACE ?COUNTRY)
    (or
        (instance ?COUNTRY Nation)
        (instance ?COUNTRY DependencyOrSpecialSovereigntyArea)))

Mid-level-ontology.kif 27088-27092

If X is in Y, then Y is an instance of nation or Y is an instance of dependency or special sovereignty area

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

KB Term:			Term intersection

English Word: