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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EuroCent
EuroCent(euro cent)

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 7403-7404
(documentation EuroCent JapaneseLanguage "通貨メジャー。 1 EuroCent は .01 EuroDollar と等しくなる。") japanese_format.kif 1337-1338
(instance EuroCent UnitOfCurrency) Merge.kif 7401-7401 Euro cent is an instance of unit of currency

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


(currencyValue EuroCentCoin EuroCent) Economy.kif 2914-2914 Euro cent is a currency value of euro cent coin
(termFormat ChineseLanguage EuroCent "欧元分") domainEnglishFormat.kif 22498-22498
(termFormat ChineseTraditionalLanguage EuroCent "歐元分") domainEnglishFormat.kif 22497-22497
(termFormat EnglishLanguage EuroCent "euro cent") domainEnglishFormat.kif 22496-22496

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


(equal
    (MeasureFn ?NUMBER EuroCent)
    (MeasureFn
        (MultiplicationFn ?NUMBER 0.01) EuroDollar))
Merge.kif 7406-7408 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 3.0 is open source software produced by Articulate Software and its partners