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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ColombianPeso

Sigma KEE - ColombianPeso
ColombianPeso
more pictures...

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3830-3830
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3827-3827
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3678-3678
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3829-3829
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3828-3828
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3831-3831
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3826-3826
No TPTP formula. May not be expressible in strict first order. Economy.kif 3075-3075 ColombianPeso est une instance de UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 3077-3077 currencyType Colombia and ColombianPeso
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15654-15654
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15653-15653
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 15652-15652

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2357-2357 codeMapping ISO-4217-A, "COP" and ColombianPeso


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