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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DemocraticRepublicOfTheCongo

 Sigma KEE - DemocraticRepublicOfTheCongo
DemocraticRepublicOfTheCongo(刚果民主共和国)
more pictures...

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3081-3081 刚果法郎 是 刚果民主共和国 的 currency 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 3589-3589 ZaireseZaire 是 刚果民主共和国 的 currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1223-1223
No TPTP formula. May not be expressible in strict first order. Economy.kif 636-636 发展中国家 是 刚果民主共和国 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 252-252 较未发达国家 是 刚果民主共和国 的 economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10708-10708
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10709-10709
No TPTP formula. May not be expressible in strict first order. pictureList.kif 5927-5927
No TPTP formula. May not be expressible in strict first order. pictureList.kif 10711-10711
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1360-1360
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 91-91 刚果民主共和国 是 中非 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 92-92 刚果民主共和国 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3934-3934 刚果民主共和国 的名 是 "Democratic Republic of the Congo"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18990-18990
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18989-18989
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 18988-18988

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


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