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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Ghana
Ghana(加纳)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3161-3161 加纳塞地 是 加纳 的 currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1244-1244
No TPTP formula. May not be expressible in strict first order. Economy.kif 651-651 发展中国家 是 加纳 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 267-267 较未发达国家 是 加纳 的 economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 461-461
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 207-207 加纳 是 西非 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 208-208 加纳 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3987-3987 加纳 的名 是 "Ghana"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25962-25962
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25961-25961
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25960-25960

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


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