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 8048-8052
(subclass DependencyOrSpecialSovereigntyArea GeopoliticalArea) Mid-level-ontology.kif 8044-8044 子類 依賴或特殊主權領域 and GeopoliticalArea

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


(disjoint IndependentState DependencyOrSpecialSovereigntyArea) Mid-level-ontology.kif 8045-8045 不相交的 獨立國家 and 依賴或特殊主權領域
(instance AalandIslands DependencyOrSpecialSovereigntyArea) Media.kif 2561-2561 AalandIslands and 依賴或特殊主權領域
(instance AmericanSamoa DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3858-3858 美國薩摩亞 and 依賴或特殊主權領域
(instance Anguilla DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3859-3859 安圭拉 and 依賴或特殊主權領域
(instance Aruba DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3860-3860 阿魯巴 and 依賴或特殊主權領域
(instance AshmoreAndCartierIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3861-3861 阿什莫爾和卡地亞島嶼 and 依賴或特殊主權領域
(instance BakerIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3862-3862 貝克島 and 依賴或特殊主權領域
(instance BassasDaIndia DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3863-3863 bassas da 印度 and 依賴或特殊主權領域
(instance Bermuda DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3864-3864 百慕大 and 依賴或特殊主權領域
(instance BouvetIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3865-3865 布維島 and 依賴或特殊主權領域
(instance BritishIndianOceanTerritory DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3866-3866 英屬印度洋領地 and 依賴或特殊主權領域
(instance BritishVirginIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3867-3867 英屬維爾京群島 and 依賴或特殊主權領域
(instance CaymanIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3868-3868 開曼群島 and 依賴或特殊主權領域
(instance ChannelIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3752-3752 ChannelIslands and 依賴或特殊主權領域
(instance ChristmasIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3869-3869 聖誕島 and 依賴或特殊主權領域
(instance ClippertonIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3870-3870 clipperton島 and 依賴或特殊主權領域
(instance CocosKeelingIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3871-3871 科科斯基林群島 and 依賴或特殊主權領域
(instance CookIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3872-3872 庫克群島 and 依賴或特殊主權領域
(instance CoralSeaIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3873-3873 珊瑚海島嶼 and 依賴或特殊主權領域
(instance EuropaIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3874-3874 歐羅巴島 and 依賴或特殊主權領域
(instance FalklandIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3875-3875 福克蘭群島 and 依賴或特殊主權領域
(instance FaroeIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3876-3876 法羅群島 and 依賴或特殊主權領域
(instance FrenchGuiana DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3877-3877 法屬圭亞那 and 依賴或特殊主權領域
(instance FrenchPolynesia DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3878-3878 法屬波利尼西亞 and 依賴或特殊主權領域
(instance FrenchSouthernAndAntarcticLands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3879-3879 法國南部和南極的土地 and 依賴或特殊主權領域

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 24770-24777 位於 PostalPlace and GeopoliticalArea PostalPlace and PostalPlace GeopoliticalArea and Nation GeopoliticalArea and 依賴或特殊主權領域 PostalPlace 是在 GeopoliticalArea
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 24786-24793

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


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


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