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
-------------------------


No TPTP formula. May not be expressible in strict first order. pictureList.kif 210-210
No TPTP formula. May not be expressible in strict first order. Geography.kif 3525-3525 非洲 是 東半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 3521-3521 例 非洲 and Continent
No TPTP formula. May not be expressible in strict first order. Geography.kif 282-282 方位 非洲, 北美 and 東南
No TPTP formula. May not be expressible in strict first order. Geography.kif 280-280 方位 非洲, 南美洲 and 東北
No TPTP formula. May not be expressible in strict first order. Geography.kif 3523-3523 在空間上重疊 非洲 and 北半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 3524-3524 在空間上重疊 非洲 and 南半球

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 139-139 中非 是 非洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 140-140 東非 是 非洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 141-141 北非 是 非洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 142-142 非洲南部 是 非洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 143-143 西非 是 非洲 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 20290-20290 Badger inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30570-30570 Cheetah inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30548-30548 Crocodile inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30372-30372 Lion inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30452-30452 Parrot inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 30435-30435 Rhinoceros inhabits 非洲
No TPTP formula. May not be expressible in strict first order. Geography.kif 3522-3522 名 "Africa" and 非洲
No TPTP formula. May not be expressible in strict first order. Geography.kif 275-275 方位 歐洲, 非洲 and 北
No TPTP formula. May not be expressible in strict first order. Geography.kif 286-286 方位 中東地區, 非洲 and 東北
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 126-126 部分 摩洛哥 and 非洲
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5724-5724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5723-5723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 5722-5722

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3504-3513 例 Entity and Continent 等於 非洲 and Entity 等於 北美 and Entity 等於 南美洲 and Entity 等於 南極洲 and Entity 等於 歐洲 and Entity 等於 亞洲 and Entity 等於 大洋洲 and Entity
No TPTP formula. May not be expressible in strict first order. 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