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 7402-7403
(documentation EuroCent JapaneseLanguage "通貨メジャー。 1 EuroCent は .01 EuroDollar と等しくなる。") japanese_format.kif 1337-1338
(instance EuroCent UnitOfCurrency) Merge.kif 7400-7400 EuroCentUnitOfCurrencyinstance では %n

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


(currencyValue EuroCentCoin EuroCent) Economy.kif 2914-2914 currencyValue EuroCentCoin and EuroCent
(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 7405-7407 実数EuroCent(s) は 実数 + 0.01 の EuroDollar(s) と equal では %n


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