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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IndonesianRupiah

Sigma KEE - IndonesianRupiah
IndonesianRupiah

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3915-3915
No TPTP formula. May not be expressible in strict first order. Economy.kif 3211-3211 IndonesianRupiah est une instance de UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3213-3213 currencyType Indonesia and IndonesianRupiah
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29707-29707
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29706-29706
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 29705-29705

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2390-2390 codeMapping ISO-4217-A, "IDR" and IndonesianRupiah


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