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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Cameroon
Cameroon(喀麥隆)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3049-3049 喀麥隆法郎 是 喀麥隆 的 currency 類別
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1205-1205
No TPTP formula. May not be expressible in strict first order. Economy.kif 628-628 發展中國家 是 喀麥隆 的 economy 類別
No TPTP formula. May not be expressible in strict first order. Economy.kif 244-244 較未發達國家 是 喀麥隆 的 economy 類別
No TPTP formula. May not be expressible in strict first order. pictureList.kif 316-316
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 195-195 喀麥隆 是 西非 的 geographic 次要地區
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 196-196 例 喀麥隆 and Nation

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3981-3981 名 "Cameroon" and 喀麥隆
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12823-12823
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12822-12822
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12821-12821

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


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