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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BurkinaFaso
BurkinaFaso

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3037-3037 currencyType BurkinaFaso and BurkinaFasoFranc
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 geographicSubregion BurkinaFaso and WesternAfrica
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 194-194 BurkinaFaso est une instance de nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3980-3980 BurkinaFaso s'appele nom "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 codeMapping ISO-3166-1-alpha-2, "BF" and BurkinaFaso


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