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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - AngolanKwanza
AngolanKwanza(angolan kwanza)
kwanza

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3752-3752
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3649-3649
No TPTP formula. May not be expressible in strict first order. Economy.kif 2961-2961 Angolan kwanza is an instance of UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2963-2963 Angolan kwanza is a currency type of angola
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7521-7521
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7520-7520
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7519-7519

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2318-2318 "AOA" in ISO-4217-A denotes angolan kwanza


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