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

Formal Language: 



KB Term:  Term intersection
English Word: 

  JapaneseYen

 Sigma KEE - JapaneseYen
JapaneseYen(japanese yen)yen

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2901-2901 Japanese yen 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 2902-2902 Japanese yen is a currency type of japan
No TPTP formula. May not be expressible in strict first order. Economy.kif 2924-2924 Japanese yen is a currency value of japanese yen coin
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31495-31495
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31494-31494
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 31493-31493

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


No TPTP formula. May not be expressible in strict first order. Media.kif 2399-2399 "JPY" in ISO-4217-A denotes japanese yen


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