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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Africa

Sigma KEE - Africa
Africa(非洲)

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


(externalImage Africa "http://articulatesoftware.com/SUMOpictures/geography/ continents/ africa.png") pictureList.kif 210-210
(geographicSubregion Africa EasternHemisphere) Geography.kif 3525-3525 非洲东半球geographic 次要地区
(instance Africa Continent) Geography.kif 3521-3521 非洲大陆instance
(orientation Africa NorthAmerica Southeast) Geography.kif 282-282 非洲北美东南
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 非洲南美洲东北
(overlapsSpatially Africa NorthernHemisphere) Geography.kif 3523-3523 非洲北半球 重叠
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3524-3524 非洲南半球 重叠

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


(geographicSubregion CentralAfrica Africa) Geography.kif 139-139 中非非洲geographic 次要地区
(geographicSubregion EasternAfrica Africa) Geography.kif 140-140 东非非洲geographic 次要地区
(geographicSubregion NorthernAfrica Africa) Geography.kif 141-141 北非非洲geographic 次要地区
(geographicSubregion SouthernAfrica Africa) Geography.kif 142-142 非洲南部非洲geographic 次要地区
(geographicSubregion WesternAfrica Africa) Geography.kif 143-143 西非非洲geographic 次要地区
(habitatOfOrganism Badger Africa) Mid-level-ontology.kif 20290-20290 Badger inhabits 非洲
(habitatOfOrganism Cheetah Africa) Mid-level-ontology.kif 30570-30570 Cheetah inhabits 非洲
(habitatOfOrganism Crocodile Africa) Mid-level-ontology.kif 30548-30548 Crocodile inhabits 非洲
(habitatOfOrganism Lion Africa) Mid-level-ontology.kif 30372-30372 Lion inhabits 非洲
(habitatOfOrganism Parrot Africa) Mid-level-ontology.kif 30452-30452 Parrot inhabits 非洲
(habitatOfOrganism Rhinoceros Africa) Mid-level-ontology.kif 30435-30435 Rhinoceros inhabits 非洲
(names "Africa" Africa) Geography.kif 3522-3522 非洲 的名 是 "Africa"
(orientation Europe Africa North) Geography.kif 275-275 欧洲非洲
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286 中东地区非洲东北
(part Morocco Africa) CountriesAndRegions.kif 126-126 摩洛哥非洲part
(termFormat ChineseLanguage Africa "非洲") domainEnglishFormat.kif 5724-5724
(termFormat ChineseTraditionalLanguage Africa "非洲") domainEnglishFormat.kif 5723-5723
(termFormat EnglishLanguage Africa "africa") domainEnglishFormat.kif 5722-5722

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 Veldt)
    (located ?PLAIN Africa))
Geography.kif 6719-6721


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