| Deposit
| |
| appearance as argument number 1 |
|
|
| (disjoint Deposit Withdrawal) | FinancialOntology.kif 427-427 | |
| (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 9139-9139 | |
| (externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/thumb/ 8/ 80/ NCR_ATM.JPG/ 450px-NCR_ATM.JPG") | pictureList.kif 9140-9140 | |
| (externalImage Deposit "http://upload.wikimedia.org/wikipedia/commons/thumb/ a/ ae/ Cajero_Banelco.jpg/ 450px-Cajero_Banelco.jpg") | pictureList.kif 8447-8447 | |
| (subclass Deposit FinancialTransaction) | FinancialOntology.kif 426-426 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Deposit "存款") | domainEnglishFormat.kif 19151-19151 | |
| (termFormat ChineseTraditionalLanguage Deposit "存款") | domainEnglishFormat.kif 19150-19150 | |
| (termFormat EnglishLanguage Deposit "deposit") | domainEnglishFormat.kif 19149-19149 |
| 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 |
|
|
| (=> (and (instance ?Depositing DepositingACheck) (patient ?Depositing ?Check) (instance ?Check Check) (checkAccount ?Check ?Account) (monetaryValue ?Check ?Amount)) (exists (?Deposit) (and (instance ?Deposit Deposit) (destination ?Deposit (CurrencyFn ?Account)) (transactionAmount ?Deposit ?Amount)))) |
FinancialOntology.kif 340-351 | |
| (=> (and (monetaryValue ?Check ?Amount) (instance ?Processing ProcessingACheck) (patient ?Processing ?Check) (destination ?Processing (CurrencyFn ?Account)) (instance ?Account FinancialAccount) (equal (WhenFn ?Processing) ?ProcessingTime)) (exists (?Deposit ?DepositTime) (and (instance ?Deposit Deposit) (instrument ?Deposit ?Check) (equal (WhenFn ?Deposit) ?DepositTime) (meetsTemporally ?ProcessingTime ?DepositTime) (transactionAmount ?Deposit ?Amount) (destination ?Deposit (CurrencyFn ?Account))))) |
FinancialOntology.kif 120-135 |
|
|
|