Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Deposit
|
|
|
| appearance as argument number 1 |
|
|
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Deposit Deposit) (exists (?Account) (destination ?Deposit (CurrencyFn ?Account)))) |
FinancialOntology.kif 452-455 | If X is an instance of deposit, then there exists Y such that X ends up at the currency of Y |
| (=> (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 457-474 | If All of the following hold: (1) X is an instance of deposit (2) Y is an instance of financial account (3) X ends up at the currency of Y (4) Z W(s) is a transaction amount of X (5) Y current account balance immediately before the time of existence of X for V W(s) (6) equal U and (V and Z), then Y current account balance immediately after after X for U W(s) |
| consequent |
|
|
| (=> (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 | If All of the following hold: (1) value of X is Y (2) Z is an instance of processing a check (3) X is a patient of Z (4) Z ends up at the currency of W (5) W is an instance of financial account (6) equal the time of existence of Z and V, then All of the following hold: (1) there exist U (2) T such that U is an instance of deposit (3) X is an instrument for U (4) equal the time of existence of U (5) T (6) V meets T (7) Y is a transaction amount of U (8) U ends up at the currency of W |
| (=> (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 | If X is an instance of depositing a check, Y is a patient of X, Y is an instance of check, Z is a check account of Y, and value of Y is W, then there exists V such that V is an instance of deposit, V ends up at the currency of Z, and W is a transaction amount of V |
|
