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 est une sous-classe de NonCompositeUnitOfMeasure |
appearance as argument number 2 |
![]() |
appearance as argument number 3 |
![]() |
(domain currencyCode 2 UnitOfCurrency) | Economy.kif 3615-3615 | Le nombre 2 argument de currencyCode est une instance de UnitOfCurrency |
(domain currencyExchangeRate 1 UnitOfCurrency) | Economy.kif 3653-3653 | Le nombre 1 argument de currencyExchangeRate est une instance de UnitOfCurrency |
(domain currencyExchangeRateInPeriod 1 UnitOfCurrency) | Economy.kif 3639-3639 | Le nombre 1 argument de currencyExchangeRateInPeriod est une instance de UnitOfCurrency |
(domain currencyType 2 UnitOfCurrency) | Economy.kif 2873-2873 | Le nombre 2 argument de currencyType est une instance de UnitOfCurrency |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |