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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuroCent
EuroCenteuro_cent

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


(documentation EuroCent ChineseLanguage "这是一种货币单位,1 EuroCent 等于 .01 EuroDollar。") Merge.kif 7673-7673
(documentation EuroCent EnglishLanguage "A currency measure. 1 EuroCent is equal to .01 EuroDollars.") Merge.kif 7671-7672
(instance EuroCent UnitOfCurrency) Merge.kif 7670-7670

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


(currencyValue EuroCentCoin EuroCent) Economy.kif 2917-2917
(termFormat EnglishLanguage EuroCent "euro cent") domainEnglishFormat.kif 4171-4171

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


(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))
Merge.kif 7675-7677


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners