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 currencyType ElSalvador and ElSalvadoranColon
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 economyType ElSalvador and DevelopingCountry
No TPTP formula. May not be expressible in strict first order. Economy.kif 261-261 economyType ElSalvador and LessDevelopedCountry
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 geographicSubregion ElSalvador and MiddleAmerica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 477-477 ElSalvador e' uma instancia de Nacao

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3482-3482 geographicSubregion SanMiguelElSalvador and ElSalvador
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 4115-4115 ElSalvador se chama nome "El Salvador"
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 codeMapping ISO-3166-1-alpha-2, "SV" and ElSalvador


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