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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ChileanPeso

 Sigma KEE - ChileanPeso
ChileanPeso(chilean peso)
Chilean_peso, peso

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3824-3824
No TPTP formula. May not be expressible in strict first order. Economy.kif 3067-3067 Chilean peso 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 3069-3069 Chilean peso is a currency type of chile
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14502-14502
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14501-14501
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 14500-14500

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2355-2355 "CLP" in ISO-4217-A denotes chilean peso


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