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 3750-3750
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3647-3647
No TPTP formula. May not be expressible in strict first order. Economy.kif 3288-3288 Angolan kwanza 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 3290-3290 Angolan kwanza is a currency type of angola
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7513-7513 Angolan kwanza is a currency type of angola
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7512-7512 Angolan kwanza is a currency type of angola
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 7511-7511 Angolan kwanza is a currency type of angola

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


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