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

Formal Language: 



KB Term:  Term intersection
English Word: 

  EuroCent

Sigma KEE - EuroCent
EuroCent(歐元分)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2623-2623
No TPTP formula. May not be expressible in strict first order. Merge.kif 7403-7404
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1337-1338
No TPTP formula. May not be expressible in strict first order. Merge.kif 7401-7401 歐元分 and UnitOfCurrency

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


No TPTP formula. May not be expressible in strict first order. Economy.kif 2914-2914 歐元分歐元硬幣currency 價值
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22498-22498
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22497-22497
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 22496-22496

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 7406-7408 等於 測量 RealNumber and 歐元分 and 測量 乘法 RealNumber and 0.01 and 歐元


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