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 | AccountFn の数値 1 引数は FinancialAsset の instance では %n |
(instance AccountFn UnaryFunction) | FinancialOntology.kif 2315-2315 | AccountFn は 1変数関数 の instance では %n |
(range AccountFn FinancialAccount) | FinancialOntology.kif 2317-2317 | AccountFn の range は FinancialAccount のインスタンス では %n |
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 5249-5249 | |
(termFormat ChineseTraditionalLanguage AccountFn "帳戶") | domainEnglishFormat.kif 5248-5248 | |
(termFormat EnglishLanguage AccountFn "account") | domainEnglishFormat.kif 5247-5247 |
antecedent |
![]() |
consequent |
![]() |
(=> (and (instance ?Bond Bond) (couponInterest ?Bond ?Interest) (possesses ?BondHolder ?Bond)) (exists (?Period ?Payment) (and (periodicPayment (AccountFn ?Bond) ?Interest ?Period) (destination ?Payment ?BondHolder)))) |
FinancialOntology.kif 2270-2278 | |
(=> (and (instance ?Bond CallableBond) (currentAccountBalance (AccountFn ?Bond) ?Date ?Amount) (callDate ?Bond ?Date)) (amountDue (AccountFn ?Bond) ?Amount ?Date)) |
FinancialOntology.kif 2489-2494 | |
(=> (and (instance ?Bond ZeroCouponBond) (maturityDate (AccountFn ?Bond) ?Date) (possesses ?BondHolder ?Bond) (principalAmount (AccountFn ?Bond) (MeasureFn ?Principal ?CUNIT)) (agreementPeriod (AccountFn ?Bond) ?Period) (interestEarned (AccountFn ?Bond) (MeasureFn ?Interest ?CUNIT) ?Period) (equal ?Total (AdditionFn ?Principal ?Interest))) (exists (?Payment) (and (instance ?Payment Payment) (destination ?Payment ?BondHolder) (origin ?Payment (AccountFn ?Bond)) (transactionAmount ?Payment (MeasureFn ?Total ?CUNIT))))) |
FinancialOntology.kif 2333-2355 |
|
![]() |
![]() |