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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - KazakhstaniTenge
KazakhstaniTenge(kazakhstani tenge)
more pictures...		tenge

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


No TPTP formula. May not be expressible in strict first order. pictureList.kif 3919-3919
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3918-3918
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3921-3921
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3920-3920
No TPTP formula. May not be expressible in strict first order. pictureList.kif 3722-3722
No TPTP formula. May not be expressible in strict first order. Economy.kif 3243-3243 Kazakhstani tenge 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 3245-3245 Kazakhstani tenge is a currency type of kazakhstan
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32257-32257
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32256-32256
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 32255-32255

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2408-2408 "KZT" in ISO-4217-A denotes kazakhstani tenge


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 3.0 is open source software produced by Articulate Software and its partners