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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ElSalvador

Sigma KEE - ElSalvador
ElSalvador(薩爾瓦多)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3129-3129 薩爾瓦多蘭結腸薩爾瓦多currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1232-1232
No TPTP formula. May not be expressible in strict first order. Economy.kif 645-645 發展中國家薩爾瓦多economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 261-261 較未發達國家薩爾瓦多economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 409-409
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 477-477 薩爾瓦多 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3482-3482 聖米格爾薩爾瓦多薩爾瓦多geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4115-4115 "El Salvador" and 薩爾瓦多
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21864-21864
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21863-21863
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 21862-21862

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2769-2769 "SV" 在 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