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 3474-3474 亚洲东半球geographic 次要地区
(instance Asia Continent) Geography.kif 3470-3470 亚洲大陆instance
(orientation Asia Oceania Northwest) Geography.kif 281-281 亚洲大洋洲西北
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3472-3472 亚洲北半球 重叠
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3473-3473 亚洲南半球 重叠

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 19681-19681 Badger inhabits 亚洲
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 19696-19696 Bear inhabits 亚洲
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 30073-30073 Cheetah inhabits 亚洲
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 30050-30050 Crocodile inhabits 亚洲
(habitatOfOrganism Parrot Asia) Mid-level-ontology.kif 29955-29955 Parrot inhabits 亚洲
(habitatOfOrganism Reindeer Asia) Mid-level-ontology.kif 30032-30032 驯鹿 inhabits 亚洲
(habitatOfOrganism Rhinoceros Asia) Mid-level-ontology.kif 29938-29938 Rhinoceros inhabits 亚洲
(habitatOfOrganism Tiger Asia) Mid-level-ontology.kif 29918-29918 Tiger inhabits 亚洲
(meetsSpatially Europe Asia) CountriesAndRegions.kif 45-45 欧洲 接上 亚洲
(names "Asia" Asia) Geography.kif 3471-3471 亚洲 的名 是 "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 3426-3435 实体大陆instance 若且唯若 非洲 equal 那个 实体北美 equal 那个 实体南美洲 equal 那个 实体南极洲 equal 那个 实体欧洲 equal 那个 实体亚洲 equal 那个 实体大洋洲 equal 那个 实体
(=>
    (instance ?PLAIN Steppe)
    (or
        (located ?PLAIN Europe)
        (located ?PLAIN Asia)))
Geography.kif 6395-6399


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