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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BrazilianReal

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 3813-3813
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 3810-3810
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 3664-3664
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 3809-3809
No TPTP formula. May not be expressible in strict first order. Economy.kif 3023-3023 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 3025-3025 Brazilian real is a currency type of brazil
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11855-11855
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11854-11854
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 11853-11853

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


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


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