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 依赖或特殊主权领域地缘政治区域subclass

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


(disjoint IndependentState DependencyOrSpecialSovereigntyArea) Mid-level-ontology.kif 8018-8018 独立国家 和 % 2 是 disjoint
(instance AalandIslands DependencyOrSpecialSovereigntyArea) Media.kif 2561-2561 AalandIslands依赖或特殊主权领域instance
(instance AmericanSamoa DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3858-3858 美国萨摩亚依赖或特殊主权领域instance
(instance Anguilla DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3859-3859 安圭拉依赖或特殊主权领域instance
(instance Aruba DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3860-3860 阿鲁巴依赖或特殊主权领域instance
(instance AshmoreAndCartierIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3861-3861 阿什莫尔和卡地亚岛屿依赖或特殊主权领域instance
(instance BakerIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3862-3862 贝克岛依赖或特殊主权领域instance
(instance BassasDaIndia DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3863-3863 Bassas da 印度依赖或特殊主权领域instance
(instance Bermuda DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3864-3864 百慕大依赖或特殊主权领域instance
(instance BouvetIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3865-3865 布维岛依赖或特殊主权领域instance
(instance BritishIndianOceanTerritory DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3866-3866 英属印度洋领地依赖或特殊主权领域instance
(instance BritishVirginIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3867-3867 英属维尔京群岛依赖或特殊主权领域instance
(instance CaymanIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3868-3868 开曼群岛依赖或特殊主权领域instance
(instance ChannelIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3752-3752 ChannelIslands依赖或特殊主权领域instance
(instance ChristmasIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3869-3869 圣诞岛依赖或特殊主权领域instance
(instance ClippertonIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3870-3870 Clipperton岛依赖或特殊主权领域instance
(instance CocosKeelingIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3871-3871 科科斯基林群岛依赖或特殊主权领域instance
(instance CookIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3872-3872 库克群岛依赖或特殊主权领域instance
(instance CoralSeaIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3873-3873 珊瑚海岛屿依赖或特殊主权领域instance
(instance EuropaIsland DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3874-3874 欧罗巴岛依赖或特殊主权领域instance
(instance FalklandIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3875-3875 福克兰群岛依赖或特殊主权领域instance
(instance FaroeIslands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3876-3876 法罗群岛依赖或特殊主权领域instance
(instance FrenchGuiana DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3877-3877 法属圭亚那依赖或特殊主权领域instance
(instance FrenchPolynesia DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3878-3878 法属波利尼西亚依赖或特殊主权领域instance
(instance FrenchSouthernAndAntarcticLands DependencyOrSpecialSovereigntyArea) CountriesAndRegions.kif 3879-3879 法国南部和南极的土地依赖或特殊主权领域instance

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 PostalPlacelocated 地缘政治区域那个 PostalPlacePostalPlaceinstance那个 地缘政治区域国家instance那个 地缘政治区域依赖或特殊主权领域instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域
(=>
    (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