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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Zambia

 Sigma KEE - Zambia
Zambia(赞比亚)

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3595-3595 赞比亚克瓦查 是 赞比亚 的 currency 类别
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 1391-1391
No TPTP formula. May not be expressible in strict first order. Economy.kif 731-731 发展中国家 是 赞比亚 的 economy 类别
No TPTP formula. May not be expressible in strict first order. Economy.kif 347-347 较未发达国家 是 赞比亚 的 economy 类别
No TPTP formula. May not be expressible in strict first order. pictureList.kif 847-847
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 184-184 赞比亚 是 非洲南部 的 geographic 次要地区
No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 185-185 赞比亚 是 国家 的 instance

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


No TPTP formula. May not be expressible in strict first order. CountriesAndRegions.kif 3976-3976 赞比亚 的名 是 "Zambia"
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64045-64045
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64044-64044
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64043-64043

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


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