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...		brazilian_real, real

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3814-3814 "http://upload.wikimedia.org/wikipedia/en/0/0b/50real_2.jpg" is a URL depicting brazilian real
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3815-3815 "http://upload.wikimedia.org/wikipedia/en/3/31/50realback.jpg" is a URL depicting brazilian real
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3811-3811 "http://upload.wikimedia.org/wikipedia/en/5/50/1reallIIback_2.jpg" is a URL depicting brazilian real
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3812-3812 "http://upload.wikimedia.org/wikipedia/en/6/61/100real_2.jpg" is a URL depicting brazilian real
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3665-3665 "http://upload.wikimedia.org/wikipedia/en/d/d0/1real_2.jpg" is a URL depicting brazilian real
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3813-3813 "http://upload.wikimedia.org/wikipedia/en/e/e0/100realback.jpg" is a URL depicting brazilian real
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3810-3810 "http://upload.wikimedia.org/wikipedia/en/f/f6/1realII_2.jpg" is a URL depicting brazilian real
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 2399-2399 "brazilian real" is the printable form of brazilian real in english language

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners