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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 北非 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 194-194 北非 和 东半球 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 195-195 北非 和 西半球 重叠

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