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 3021-3021 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 11723-11723
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11722-11722
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11721-11721

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