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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - BrazilianReal
BrazilianReal(brazilian real)
more pictures...
real

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3814-3814
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3815-3815
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3811-3811
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3812-3812
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3665-3665
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3813-3813
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3810-3810
No TPTP formula. May not be expressible in strict first order. Economy.kif 3026-3026 Brazilian real is an instance of UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3028-3028 Brazilian real is a currency type of brazil
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11797-11797
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11796-11796
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11795-11795

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2343-2343 "BRL" in ISO-4217-A denotes brazilian real


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