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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Botswana
Botswana(botswana)
Botswana, Republic_of_Botswana

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3032-3032 Botswana pula is a currency type of botswana
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1198-1198
No TPTP formula. May not be expressible in strict first order. pictureList.kif 283-283
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 155-155 Botswana is a geographic subregion of southern africa
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 156-156 Botswana is an instance of nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3957-3957 Botswana has name "Botswana"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11725-11725
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11724-11724
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11723-11723

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2668-2668 "BW" in ISO-3166-1-alpha-2 denotes botswana


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