Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| EuroCent(euro cent) |
| appearance as argument number 1 |
|
| (instance EuroCent UnitOfCurrency) | Merge.kif 7538-7538 | Euro cent is an instance of unit of currency |
| (documentation EuroCent EnglishLanguage "A currency measure. 1 EuroCent is equal to .01 EuroDollars.") | Merge.kif 7540-7541 | Euro cent is an instance of unit of currency |
| appearance as argument number 2 |
|
|
| (currencyValue EuroCentCoin EuroCent) | Economy.kif 3246-3246 | Euro cent is a currency value of euro cent coin |
| (termFormat EnglishLanguage EuroCent "euro cent") | domainEnglishFormat.kif 22495-22495 | Euro cent is a currency value of euro cent coin |
| (termFormat ChineseTraditionalLanguage EuroCent "歐元分") | domainEnglishFormat.kif 22496-22496 | Euro cent is a currency value of euro cent coin |
| (termFormat ChineseLanguage EuroCent "欧元分") | domainEnglishFormat.kif 22497-22497 | Euro cent is a currency value of euro cent coin |
| statement |
|
|
| (equal (MeasureFn ?NUMBER EuroCent) (MeasureFn (MultiplicationFn ?NUMBER 0.01) EuroDollar)) |
Merge.kif 7543-7545 | equal X euro cent(s) and X and 0.01 euro dollar(s) |
|