| CurrencyMeasure(mesure de devise) | |
| appearance as argument number 1 |
|
|
| (documentation CurrencyMeasure ChineseLanguage "这个 ConstantQuantity subclass 的实例是 用来量度 monetaryValue 的，它以某些 UnitOfCurrency 如 UnitedStatesDollar ，UnitedStatesCent、人民币、日元等等来表示。") | chinese_format.kif 2419-2421 | |
| (documentation CurrencyMeasure EnglishLanguage "Instances of this subclass of ConstantQuantity are measures of monetaryValue stated in terms of some UnitOfCurrency such as UnitedStatesDollar, UnitedStatesCent, RMB, Lira, Yen, etc.") | Merge.kif 6328-6331 | |
| (documentation CurrencyMeasure JapaneseLanguage "ConstantQuantity のこの subclass の例 は、UnitedStatesDollar、UnitedStatesCent、RMB、Lira、Yen、などのいくつかの UnitOfCurrency の観点から記載された monetaryValue の尺度である。") | japanese_format.kif 1107-1109 | |
| (subclass CurrencyMeasure ConstantQuantity) | Merge.kif 6326-6326 | Mesure de devise est une sous-classe de quantit� constante |
| appearance as argument number 2 |
|
|
| (range ABPFn CurrencyMeasure) | UXExperimentalTerms.kif 3227-3227 | Le domaine de ABPFn est une instance de mesure de devise |
| (range ASPFn CurrencyMeasure) | UXExperimentalTerms.kif 3272-3272 | Le domaine de ASPFn est une instance de mesure de devise |
| (range AuctionGMBFn CurrencyMeasure) | UXExperimentalTerms.kif 3195-3195 | Le domaine de AuctionGMBFn est une instance de mesure de devise |
| (range GMBFn CurrencyMeasure) | UXExperimentalTerms.kif 2949-2949 | Le domaine de GMBFn est une instance de mesure de devise |
| (range GMVFn CurrencyMeasure) | UXExperimentalTerms.kif 2992-2992 | Le domaine de GMVFn est une instance de mesure de devise |
| (range GrossNationalProductFn CurrencyMeasure) | Economy.kif 1027-1027 | Le domaine de GrossNationalProductFn est une instance de mesure de devise |
| (range WealthFn CurrencyMeasure) | Merge.kif 7878-7878 | Le domaine de WealthFn est une instance de mesure de devise |
| (range equilibriumPriceFn CurrencyMeasure) | Economy.kif 6875-6875 | Le domaine de equilibriumPriceFn est une instance de mesure de devise |
| (subclass Interest CurrencyMeasure) | FinancialOntology.kif 515-515 | Interest est une sous-classe de mesure de devise |
| (subclass ShareUnit CurrencyMeasure) | FinancialOntology.kif 2124-2124 | ShareUnit est une sous-classe de mesure de devise |
| (termFormat ChineseLanguage CurrencyMeasure "货币测量") | chinese_format.kif 1308-1308 | ShareUnit est une sous-classe de mesure de devise |
| (termFormat EnglishLanguage CurrencyMeasure "currency measure") | english_format.kif 1833-1833 | ShareUnit est une sous-classe de mesure de devise |
| (termFormat FrenchLanguage CurrencyMeasure "mesure de devise") | french_format.kif 986-986 | ShareUnit est une sous-classe de mesure de devise |
| (termFormat Hindi CurrencyMeasure "mudraa maapa") | terms-hindi.txt 521-521 | ShareUnit est une sous-classe de mesure de devise |
| (termFormat ItalianLanguage CurrencyMeasure "MisuraMonetaria") | terms-it.txt 525-525 | ShareUnit est une sous-classe de mesure de devise |
| (termFormat JapaneseLanguage CurrencyMeasure "通貨測定") | japanese_format.kif 2670-2670 | ShareUnit est une sous-classe de mesure de devise |
| (termFormat PortugueseLanguage CurrencyMeasure "Medida de Divisa") | portuguese_format.kif 938-938 | ShareUnit est une sous-classe de mesure de devise |
| (termFormat cb CurrencyMeasure "panalaping sukod") | terms-cb.txt 527-527 | ShareUnit est une sous-classe de mesure de devise |
| (termFormat cz CurrencyMeasure "currency measure") | terms-cz.txt 561-561 | ShareUnit est une sous-classe de mesure de devise |
| (termFormat de CurrencyMeasure "Waehrungma") | terms-de.txt 820-820 | ShareUnit est une sous-classe de mesure de devise |
| (termFormat ro CurrencyMeasure "mãsurã de monedã") | relations-ro.kif 1007-1007 | ShareUnit est une sous-classe de mesure de devise |
| (termFormat tg CurrencyMeasure "sukat ng salapi") | terms-tg.txt 526-526 | ShareUnit est une sous-classe de mesure de devise |
| appearance as argument number 3 |
|
|
| antecedent |
|
|
| consequent |
|
|
|
|
|