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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BurkinaFaso
BurkinaFaso(burkina faso)
Burkina_Faso, Upper_Volta

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3047-3047 Burkina faso franc is a currency type of burkina faso
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1202-1202
No TPTP formula. May not be expressible in strict first order. pictureList.kif 303-303
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 193-193 Burkina faso is a geographic subregion of western africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 194-194 Burkina faso is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3980-3980 Burkina faso has name "Burkina Faso"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12370-12370
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12369-12369
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12368-12368

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2644-2644 "BF" in ISO-3166-1-alpha-2 denotes burkina faso


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