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 3812-3812
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 3809-3809
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. pictureList.kif 3663-3663
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 3808-3808
No TPTP formula. May not be expressible in strict first order. Economy.kif 3360-3360 Brazilian real 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 3362-3362 Brazilian real is a currency type of brazil
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11864-11864 Brazilian real is a currency type of brazil
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11863-11863 Brazilian real is a currency type of brazil
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11862-11862 Brazilian real is a currency type of brazil

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


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