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

Formal Language: 



KB Term:  Term intersection
English Word: 

  BrazilianReal

Sigma KEE - BrazilianReal
BrazilianReal(巴西真實)
more pictures...

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 巴西真實 and UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3025-3025 巴西真實巴西currency 類別
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" 在 ISO-4217-A denotes 巴西真實


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