CurrencyFn |
appearance as argument number 1 |
(documentation CurrencyFn EnglishLanguage "A unary function that maps a FinancialAccount to the currency linked to the account.") | FinancialOntology.kif 285-286 | |
(domain CurrencyFn 1 FinancialAccount) | FinancialOntology.kif 283-283 | The number 1 argument of currency is an instance of financial account |
(instance CurrencyFn UnaryFunction) | FinancialOntology.kif 282-282 | Currency is an instance of unary function |
(range CurrencyFn FinancialInstrument) | FinancialOntology.kif 284-284 | The range of currency is an instance of financial instrument |
appearance as argument number 2 |
(format ChineseLanguage CurrencyFn "%1 的 currency") | domainEnglishFormat.kif 608-608 | |
(format ChineseTraditionalLanguage CurrencyFn "%1 的 currency") | domainEnglishFormat.kif 607-607 | |
(format EnglishLanguage CurrencyFn "the currency of %1") | domainEnglishFormat.kif 606-606 | |
(termFormat ChineseLanguage CurrencyFn "货币") | domainEnglishFormat.kif 18090-18090 | |
(termFormat ChineseTraditionalLanguage CurrencyFn "貨幣") | domainEnglishFormat.kif 18089-18089 | |
(termFormat EnglishLanguage CurrencyFn "currency") | domainEnglishFormat.kif 18088-18088 |
antecedent |
consequent |