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

Formal Language: 



KB Term:  Term intersection
English Word: 

  NorthernAfrica

 Sigma KEE - NorthernAfrica
NorthernAfrica(北非)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 6734-6734
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7455-7455
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 196-196 北非 是 北半球 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 80-80 例 北非 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 194-194 在空間上重疊 北非 and 東半球
No TPTP formula. May not be expressible in strict first order. Geography.kif 195-195 在空間上重疊 北非 and 西半球

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 116-116 阿爾及利亞 是 北非 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 118-118 埃及 是 北非 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 120-120 利比亞 是 北非 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 122-122 毛里塔尼亞 是 北非 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 124-124 摩洛哥 是 北非 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 127-127 蘇丹 是 北非 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 129-129 突尼斯 是 北非 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 131-131 西撒哈拉 是 北非 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. Geography.kif 110-110 名 "Northern Africa" and 北非
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41025-41025
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41024-41024
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 41023-41023


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