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 | 帐户 的 1 数量 是 金融资产 的 instance |
(instance AccountFn UnaryFunction) | FinancialOntology.kif 2315-2315 | 帐户 是 一元函数 的 instance |
(range AccountFn FinancialAccount) | FinancialOntology.kif 2317-2317 | 帐户 的 range 是 金融账户 的实例 |
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 |
![]() |
(<=> (and (instance ?Account FinancialAccount) (possesses ?Agent ?Asset) (equal ?Account (AccountFn ?Asset))) (accountHolder ?Account ?Agent)) |
FinancialOntology.kif 2321-2326 | 金融账户 是 金融账户 的 instance 和 有认知的主事 possesses 金融资产 和 那个 金融账户 equal 那个 金融资产 的帐号 若且唯若 那个 有认知的主事 持有 account 那个 金融账户 |
(=> (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 |
|
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 |
|
![]() |
![]() |