UnitOfCurrency |
appearance as argument number 1 |
(documentation UnitOfCurrency ChineseLanguage "这个 Class 所有的实例都是可以用 MeasureFn 来组成 CurrencyMeasure 实例的 UnitOfMeasure。") | chinese_format.kif 2422-2423 | |
(documentation UnitOfCurrency EnglishLanguage "Every instance of this Class is a UnitOfMeasure that can be used with MeasureFn to form instances of CurrencyMeasure.") | Merge.kif 6310-6311 | |
(documentation UnitOfCurrency JapaneseLanguage "この Clas のすべてのインスタンスは UnitOfMeasure で、%MeasureFn と共に CurrencyMeasure のインスタンスを形成するのに使用でき る。") | japanese_format.kif 1110-1112 | |
(subclass UnitOfCurrency NonCompositeUnitOfMeasure) | Merge.kif 6308-6308 | UnitOfCurrency は NonCompositeUnitOfMeasure の subclass では %n |
appearance as argument number 2 |
appearance as argument number 3 |
(domain currencyCode 2 UnitOfCurrency) | Economy.kif 3615-3615 | currencyCode の数値 2 引数は UnitOfCurrency の instance では %n |
(domain currencyExchangeRate 1 UnitOfCurrency) | Economy.kif 3653-3653 | currencyExchangeRate の数値 1 引数は UnitOfCurrency の instance では %n |
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) | Economy.kif 3639-3639 | currencyExchangeRateInPeriod の数値 1 引数は UnitOfCurrency の instance では %n |
(domain currencyType 2 UnitOfCurrency) | Economy.kif 2873-2873 | currencyType の数値 2 引数は UnitOfCurrency の instance では %n |
antecedent |
consequent |