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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MiddleAmerica
MiddleAmerica(middle america)

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 Middle america is a geographic subregion of northern hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 236-236 Middle america is a geographic subregion of western hemisphere
No TPTP formula. May not be expressible in strict first order. Geography.kif 94-94 Middle america is an instance of geographic area
No TPTP formula. May not be expressible in strict first order. Geography.kif 288-288 Middle america is south to north america
No TPTP formula. May not be expressible in strict first order. Geography.kif 287-287 Middle america is north to south america
No TPTP formula. May not be expressible in strict first order. Geography.kif 168-168 Middle america and north america overlapsSpatially
No TPTP formula. May not be expressible in strict first order. Geography.kif 169-169 Middle america and south america overlapsSpatially

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 471-471 Belize is a geographic subregion of middle america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 473-473 Clipperton island is a geographic subregion of middle america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 474-474 Costa rica is a geographic subregion of middle america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 476-476 El salvador is a geographic subregion of middle america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 478-478 Guatemala is a geographic subregion of middle america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 480-480 Honduras is a geographic subregion of middle america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 482-482 Mexico is a geographic subregion of middle america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 484-484 Nicaragua is a geographic subregion of middle america
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 486-486 Panama is a geographic subregion of middle america
No TPTP formula. May not be expressible in strict first order. Geography.kif 125-125 Middle america has name "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