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 e' uma sub-classe de NonCompositeUnitOfMeasure |
appearance as argument number 2 |
appearance as argument number 3 |
(domain currencyCode 2 UnitOfCurrency) | Economy.kif 3615-3615 | O argumento numero 2 de currencyCode e' uma instancia de UnitOfCurrency |
(domain currencyExchangeRate 1 UnitOfCurrency) | Economy.kif 3653-3653 | O argumento numero 1 de currencyExchangeRate e' uma instancia de UnitOfCurrency |
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) | Economy.kif 3639-3639 | O argumento numero 1 de currencyExchangeRateInPeriod e' uma instancia de UnitOfCurrency |
(domain currencyType 2 UnitOfCurrency) | Economy.kif 2873-2873 | O argumento numero 2 de currencyType e' uma instancia de UnitOfCurrency |
antecedent |
consequent |