AccountFn |
appearance as argument number 1 |
(documentation AccountFn EnglishLanguage "A unary function that maps a FinancialAsset to the FinancialAccount associated with the Asset.") | FinancialOntology.kif 2318-2319 | |
(domain AccountFn 1 FinancialAsset) | FinancialOntology.kif 2316-2316 | Die Zahl 1 Argument von AccountFn ist ein fall von FinancialAsset %n{nicht} |
(instance AccountFn UnaryFunction) | FinancialOntology.kif 2315-2315 | AccountFn ist ein fall von UnaryFunction %n{nicht} |
(range AccountFn FinancialAccount) | FinancialOntology.kif 2317-2317 | bildbereich von AccountFn ist ein fall von FinancialAccount {nicht} |
appearance as argument number 2 |
(format ChineseLanguage AccountFn "%1 的帐号") | domainEnglishFormat.kif 36-36 | |
(format ChineseTraditionalLanguage AccountFn "%1 的帳號") | domainEnglishFormat.kif 35-35 | |
(format EnglishLanguage AccountFn "the account of %1") | domainEnglishFormat.kif 34-34 | |
(termFormat ChineseLanguage AccountFn "帐户") | domainEnglishFormat.kif 5244-5244 | |
(termFormat ChineseTraditionalLanguage AccountFn "帳戶") | domainEnglishFormat.kif 5243-5243 | |
(termFormat EnglishLanguage AccountFn "account") | domainEnglishFormat.kif 5242-5242 |
antecedent |
consequent |