Deposit![]() | ![]() |
appearance as argument number 1 |
![]() |
(disjoint Deposit Withdrawal) | FinancialOntology.kif 429-429 | |
(documentation Deposit EnglishLanguage "An Activity of money being transferred into a customer's account at a financial institution.") | FinancialOntology.kif 430-431 | |
(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 428-428 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Deposit "存款") | domainEnglishFormat.kif 19149-19149 | |
(termFormat ChineseTraditionalLanguage Deposit "存款") | domainEnglishFormat.kif 19148-19148 | |
(termFormat EnglishLanguage Deposit "deposit") | domainEnglishFormat.kif 19147-19147 |
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 438-455 | |
(=> (instance ?Deposit Deposit) (exists (?Account) (destination ?Deposit (CurrencyFn ?Account)))) |
FinancialOntology.kif 433-436 |
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 342-353 | |
(=> (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 122-137 |
![]() |
![]() |