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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ZambianKwacha

Sigma KEE - ZambianKwacha
ZambianKwacha(zambian kwacha)
Zambian_kwacha, kwacha

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 4470-4470
No TPTP formula. May not be expressible in strict first order. Economy.kif 3593-3593 Zambian kwacha is an instance of unit of currency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3595-3595 Zambian kwacha is a currency type of zambia
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64051-64051
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64050-64050
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64049-64049

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2313-2313 "ZMK" in ISO-4217-A denotes zambian kwacha


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