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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Guatemala

Sigma KEE - Guatemala
Guatemala(危地馬拉)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3173-3173 危地馬拉格查爾危地馬拉currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1249-1249
No TPTP formula. May not be expressible in strict first order. Economy.kif 653-653 發展中國家危地馬拉economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 269-269 較未發達國家危地馬拉economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 480-480
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 479-479 危地馬拉 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4116-4116 "Guatemala" and 危地馬拉
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26910-26910
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26909-26909
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 26908-26908

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. Media.kif 2710-2710 "GT" 在 ISO-3166-1-alpha-2 denotes 危地馬拉


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