Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Asia
Asia(亚洲)

appearance as argument number 1
-------------------------


(externalImage Asia "http://www.adampease.org/Articulate/SUMOpictures/pictures/ geography/ continents/ asia.png") pictureList.kif 241-241
(geographicSubregion Asia EasternHemisphere) Geography.kif 3457-3457 亚洲东半球geographic 次要地区
(instance Asia Continent) Geography.kif 3453-3453 亚洲大陆instance
(orientation Asia Oceania Northwest) Geography.kif 281-281 亚洲大洋洲西北
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3455-3455 亚洲北半球 重叠
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3456-3456 亚洲南半球 重叠

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


(geographicSubregion CentralAsia Asia) Geography.kif 177-177 中亚亚洲geographic 次要地区
(geographicSubregion EasternAsia Asia) Geography.kif 178-178 东亚亚洲geographic 次要地区
(geographicSubregion NorthernAsia Asia) Geography.kif 179-179 北亚亚洲geographic 次要地区
(geographicSubregion SoutheasternAsia Asia) Geography.kif 183-183 东南亚亚洲geographic 次要地区
(geographicSubregion SouthernAsia Asia) Geography.kif 182-182 南亚亚洲geographic 次要地区
(geographicSubregion SouthwesternAsia Asia) Geography.kif 184-184 西南亚亚洲geographic 次要地区
(habitatOfOrganism Badger Asia) Mid-level-ontology.kif 19569-19569 Badger inhabits 亚洲
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 19584-19584 Bear inhabits 亚洲
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 29919-29919 Cheetah inhabits 亚洲
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 29896-29896 Crocodile inhabits 亚洲
(habitatOfOrganism Parrot Asia) Mid-level-ontology.kif 29801-29801 Parrot inhabits 亚洲
(habitatOfOrganism Reindeer Asia) Mid-level-ontology.kif 29878-29878 驯鹿 inhabits 亚洲
(habitatOfOrganism Rhinoceros Asia) Mid-level-ontology.kif 29784-29784 Rhinoceros inhabits 亚洲
(habitatOfOrganism Tiger Asia) Mid-level-ontology.kif 29764-29764 Tiger inhabits 亚洲
(meetsSpatially Europe Asia) CountriesAndRegions.kif 45-45 欧洲 接上 亚洲
(names "Asia" Asia) Geography.kif 3454-3454 亚洲 的名 是 "Asia"
(orientation Europe Asia West) Geography.kif 276-276 欧洲亚洲西方
(orientation MiddleEastRegion Asia Southwest) Geography.kif 285-285 中东地区亚洲西南
(orientation NorthAmerica Asia East) Geography.kif 279-279 北美亚洲
(overlapsSpatially MiddleEastRegion Asia) Geography.kif 146-146 中东地区亚洲 重叠
(part KoreanPeninsula Asia) CountriesAndRegions.kif 820-820 朝鲜半岛亚洲part
(termFormat ChineseLanguage Asia "亚洲") domainEnglishFormat.kif 8667-8667
(termFormat ChineseTraditionalLanguage Asia "亞洲") domainEnglishFormat.kif 8666-8666
(termFormat EnglishLanguage Asia "asia") domainEnglishFormat.kif 8665-8665

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


(<=>
    (instance ?CONTINENT Continent)
    (or
        (equal Africa ?CONTINENT)
        (equal NorthAmerica ?CONTINENT)
        (equal SouthAmerica ?CONTINENT)
        (equal Antarctica ?CONTINENT)
        (equal Europe ?CONTINENT)
        (equal Asia ?CONTINENT)
        (equal Oceania ?CONTINENT)))
Geography.kif 3409-3418 实体大陆instance 若且唯若 非洲 equal 那个 实体北美 equal 那个 实体南美洲 equal 那个 实体南极洲 equal 那个 实体欧洲 equal 那个 实体亚洲 equal 那个 实体大洋洲 equal 那个 实体
(=>
    (instance ?PLAIN Steppe)
    (or
        (located ?PLAIN Europe)
        (located ?PLAIN Asia)))
Geography.kif 6304-6308


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