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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuroCent
EuroCent

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


(documentation EuroCent ChineseLanguage "这是一种货币单位,1 EuroCent 等于 .01 EuroDollar。") chinese_format.kif 2623-2623
(documentation EuroCent EnglishLanguage "A currency measure. 1 EuroCent is equal to .01 EuroDollars.") Merge.kif 7306-7307
(instance EuroCent UnitOfCurrency) Merge.kif 7304-7304

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


(currencyValue EuroCentCoin EuroCent) Economy.kif 2924-2924
(termFormat ChineseLanguage EuroCent "欧元分") domainEnglishFormat.kif 22491-22491
(termFormat ChineseTraditionalLanguage EuroCent "歐元分") domainEnglishFormat.kif 22490-22490
(termFormat EnglishLanguage EuroCent "euro cent") domainEnglishFormat.kif 22489-22489

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


(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))
Merge.kif 7309-7311


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