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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MiddleAmerica
MiddleAmerica(中美洲)

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 10117-10117
No TPTP formula. May not be expressible in strict first order. pictureList.kif 11423-11423
No TPTP formula. May not be expressible in strict first order. Geography.kif 235-235 中美洲 是 北半球 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 236-236 中美洲 是 西半球 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 94-94 中美洲 是 地理区域 的 instance
No TPTP formula. May not be expressible in strict first order. Geography.kif 288-288 中美洲 在 北美 的 南
No TPTP formula. May not be expressible in strict first order. Geography.kif 287-287 中美洲 在 南美洲 的 北
No TPTP formula. May not be expressible in strict first order. Geography.kif 168-168 中美洲 和 北美 重叠
No TPTP formula. May not be expressible in strict first order. Geography.kif 169-169 中美洲 和 南美洲 重叠

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 471-471 伯利兹 是 中美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 473-473 Clipperton岛 是 中美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 474-474 哥斯达黎加 是 中美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 476-476 萨尔瓦多 是 中美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 478-478 危地马拉 是 中美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 480-480 洪都拉斯 是 中美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 482-482 墨西哥 是 中美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 484-484 尼加拉瓜 是 中美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 486-486 巴拿马 是 中美洲 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. Geography.kif 125-125 中美洲 的名 是 "Middle America"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37457-37457
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37456-37456
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 37455-37455


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