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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Botswana
Botswana(博茨瓦纳)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3021-3021 博茨瓦纳普拉博茨瓦纳currency 类别
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 博茨瓦纳非洲南部geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 156-156 博茨瓦纳国家instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3957-3957 博茨瓦纳 的名 是 "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" 在 ISO-3166-1-alpha-2 denotes 博茨瓦纳


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