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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Tanzania

Sigma KEE - Tanzania
Tanzania(坦桑尼亚)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3515-3515 坦桑尼亚先令坦桑尼亚currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1363-1363
No TPTP formula. May not be expressible in strict first order. Economy.kif 718-718 发展中国家坦桑尼亚economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 334-334 较未发达国家坦桑尼亚economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 771-771
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 109-109 坦桑尼亚东非geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 110-110 坦桑尼亚国家instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 2769-2769 达累斯萨拉姆坦桑尼亚坦桑尼亚geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3943-3943 坦桑尼亚 的名 是 "Tanzania"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56923-56923
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56922-56922
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 56921-56921

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


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