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 3037-3037 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 12367-12367
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12366-12366
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12365-12365

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


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