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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Asia

Sigma KEE - Asia
Asia(亚洲)

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


(externalImage Asia "http://articulatesoftware.com/SUMOpictures/geography/ continents/ asia.png") pictureList.kif 241-241
(geographicSubregion Asia EasternHemisphere) Geography.kif 3552-3552 亚洲东半球geographic 次要地区
(instance Asia Continent) Geography.kif 3548-3548 亚洲大陆instance
(orientation Asia Oceania Northwest) Geography.kif 281-281 亚洲大洋洲西北
(overlapsSpatially Asia NorthernHemisphere) Geography.kif 3550-3550 亚洲北半球 重叠
(overlapsSpatially Asia SouthernHemisphere) Geography.kif 3551-3551 亚洲南半球 重叠

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 20289-20289 Badger inhabits 亚洲
(habitatOfOrganism Bear Asia) Mid-level-ontology.kif 20304-20304 Bear inhabits 亚洲
(habitatOfOrganism Cheetah Asia) Mid-level-ontology.kif 30569-30569 Cheetah inhabits 亚洲
(habitatOfOrganism Crocodile Asia) Mid-level-ontology.kif 30546-30546 Crocodile inhabits 亚洲
(habitatOfOrganism Parrot Asia) Mid-level-ontology.kif 30451-30451 Parrot inhabits 亚洲
(habitatOfOrganism Reindeer Asia) Mid-level-ontology.kif 30528-30528 驯鹿 inhabits 亚洲
(habitatOfOrganism Rhinoceros Asia) Mid-level-ontology.kif 30434-30434 Rhinoceros inhabits 亚洲
(habitatOfOrganism Tiger Asia) Mid-level-ontology.kif 30414-30414 Tiger inhabits 亚洲
(meetsSpatially Europe Asia) CountriesAndRegions.kif 45-45 欧洲 接上 亚洲
(names "Asia" Asia) Geography.kif 3549-3549 亚洲 的名 是 "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 8658-8658
(termFormat ChineseTraditionalLanguage Asia "亞洲") domainEnglishFormat.kif 8657-8657
(termFormat EnglishLanguage Asia "asia") domainEnglishFormat.kif 8656-8656

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 3504-3513 实体大陆instance 若且唯若 非洲 equal 那个 实体北美 equal 那个 实体南美洲 equal 那个 实体南极洲 equal 那个 实体欧洲 equal 那个 实体亚洲 equal 那个 实体大洋洲 equal 那个 实体
(=>
    (instance ?PLAIN Steppe)
    (or
        (located ?PLAIN Europe)
        (located ?PLAIN Asia)))
Geography.kif 6707-6711


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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