Deposit
|
|
appearance as argument number 1 |
(disjoint Deposit Withdrawal) | FinancialOntology.kif 427-427 | 不相交的 存款 and 退出 |
(documentation Deposit EnglishLanguage "An Activity of money being transferred into a customer's account at a financial institution.") | FinancialOntology.kif 428-429 | |
(externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/d/ d3/ 49024-SOS-ATM.JPG") | pictureList.kif 9140-9140 | |
(externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 80/ NCR_ATM.JPG/ 450px-NCR_ATM.JPG") | pictureList.kif 9141-9141 | |
(externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px-Cajero_Banelco.jpg") | pictureList.kif 8448-8448 | |
(subclass Deposit FinancialTransaction) | FinancialOntology.kif 426-426 | 子類 存款 and FinancialTransaction |
appearance as argument number 2 |
(termFormat ChineseLanguage Deposit "存款") | domainEnglishFormat.kif 19140-19140 | |
(termFormat ChineseTraditionalLanguage Deposit "存款") | domainEnglishFormat.kif 19139-19139 | |
(termFormat EnglishLanguage Deposit "deposit") | domainEnglishFormat.kif 19138-19138 |
antecedent |
(=> (and (instance ?Deposit Deposit) (instance ?Account FinancialAccount) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit (MeasureFn ?Amount ?CUNIT)) (currentAccountBalance ?Account (ImmediatePastFn (WhenFn ?Deposit)) (MeasureFn ?Balance1 ?CUNIT)) (equal ?Balance2 (AdditionFn ?Balance1 ?Amount))) (currentAccountBalance ?Account (ImmediateFutureFn (FutureFn ?Deposit)) (MeasureFn ?Balance2 ?CUNIT))) |
FinancialOntology.kif 436-453 |
|
(=> (instance ?Deposit Deposit) (exists (?Account) (destination ?Deposit (CurrencyFn ?Account)))) |
FinancialOntology.kif 431-434 |
consequent |