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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuroCent
EuroCent(euro cent)euro_cent, 欧元分, 歐元分

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


(documentation EuroCent ChineseLanguage "这是一种货币单位,1 EuroCent 等于 .01 EuroDollar。") Merge.kif 10810-10810
(documentation EuroCent EnglishLanguage "A currency measure. 1 EuroCent is equal to .01 EuroDollars.") Merge.kif 10807-10808
(documentation EuroCent JapaneseLanguage "通貨メジャー。 1 EuroCent は .01 EuroDollar と等しくなる。") Merge.kif 10812-10813
(instance EuroCent UnitOfCurrency) Merge.kif 10805-10805 Euro cent is an instance of UnitOfCurrency

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


(currencyValue EuroCentCoin EuroCent) Economy.kif 2917-2917 Euro cent is a currency value of euro cent coin
(termFormat ChineseLanguage EuroCent "欧元分") domainEnglishFormat.kif 22429-22429 "欧元分" is the printable form of euro cent in ChineseLanguage
(termFormat ChineseTraditionalLanguage EuroCent "歐元分") domainEnglishFormat.kif 22428-22428 "歐元分" is the printable form of euro cent in ChineseTraditionalLanguage
(termFormat EnglishLanguage EuroCent "euro cent") domainEnglishFormat.kif 22427-22427 "euro cent" is the printable form of euro cent in english language

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


(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))
Merge.kif 10815-10817 A real number euro cent(s) is equal to the real number and 0.01 euro dollar(s)


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