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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Gabon

 Sigma KEE - Gabon
Gabon(加蓬)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3149-3149 加蓬法郎 是 加蓬 的 currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1240-1240
No TPTP formula. May not be expressible in strict first order. Economy.kif 649-649 发展中国家 是 加蓬 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 265-265 较未发达国家 是 加蓬 的 economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 454-454
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 203-203 加蓬 是 西非 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 204-204 加蓬 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3985-3985 加蓬 的名 是 "Gabon"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25310-25310
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25309-25309
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 25308-25308

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2700-2700 "GA" 在 ISO-3166-1-alpha-2 denotes 加蓬


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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