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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 非洲 and Continent
(orientation Africa NorthAmerica Southeast) Geography.kif 282-282 方位 非洲, 北美 and 東南
(orientation Africa SouthAmerica Northeast) Geography.kif 280-280 方位 非洲, 南美洲 and 東北
(overlapsSpatially Africa NorthernHemisphere) Geography.kif 3523-3523 在空間上重疊 非洲 and 北半球
(overlapsSpatially Africa SouthernHemisphere) Geography.kif 3524-3524 在空間上重疊 非洲 and 南半球

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" and 非洲
(orientation Europe Africa North) Geography.kif 275-275 方位 歐洲, 非洲 and
(orientation MiddleEastRegion Africa Northeast) Geography.kif 286-286 方位 中東地區, 非洲 and 東北
(part Morocco Africa) CountriesAndRegions.kif 126-126 部分 摩洛哥 and 非洲
(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 Entity and Continent 等於 非洲 and Entity 等於 北美 and Entity 等於 南美洲 and Entity 等於 南極洲 and Entity 等於 歐洲 and Entity 等於 亞洲 and Entity 等於 大洋洲 and Entity
(=>
    (instance ?PLAIN Veldt)
    (located ?PLAIN Africa))
Geography.kif 6719-6721


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