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 例 中美洲 and GeographicArea
No TPTP formula. May not be expressible in strict first order. Geography.kif 288-288 方位 中美洲, 北美 and 南
No TPTP formula. May not be expressible in strict first order. Geography.kif 287-287 方位 中美洲, 南美洲 and 北
No TPTP formula. May not be expressible in strict first order. Geography.kif 168-168 在空間上重疊 中美洲 and 北美
No TPTP formula. May not be expressible in strict first order. Geography.kif 169-169 在空間上重疊 中美洲 and 南美洲

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" and 中美洲
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