antecedent

(=>     (and         (monetaryValue ?Check ?Amount)         (checkAccount ?Check ?Account)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check)         (equal             (WhenFn ?Processing) ?ProcessingTime))     (exists (?Withdrawal ?WithdrawalTime)         (and             (instance ?Withdrawal Withdrawal)             (instrument ?Withdrawal ?Check)             (equal                 (WhenFn ?Withdrawal) ?WithdrawalTime)             (meetsTemporally ?ProcessingTime ?WithdrawalTime)             (transactionAmount ?Withdrawal ?Amount)             (origin ?Withdrawal ?Account))))	FinancialOntology.kif 106-120	If value of X is Y, Z is a check account of X, W is an instance of processing a check, X is a patient of W, and equal the time of existence of W and V, then All of the following hold: (1) there exist U (2) T such that U is an instance of withdrawing from an account (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 originates at Z
(=>     (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 ?Check Check)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check))     (exists (?Depositing)         (and             (instance ?Depositing DepositingACheck)             (patient ?Depositing ?Check)             (time ?Depositing                 (ImmediatePastFn                     (WhenFn ?Processing))))))	FinancialOntology.kif 139-148	If X is an instance of check, Y is an instance of processing a check, and X is a patient of Y, then there exists Z such that Z is an instance of depositing a check, X is a patient of Z, and Z exists during immediately before the time of existence of Y
(=>     (and         (instance ?Drawing DrawingACheck)         (patient ?Drawing ?Check)         (instance ?Processing ProcessingACheck)         (patient ?Processing ?Check)         (equal             (WhenFn ?Drawing) ?DrawingTime)         (equal             (WhenFn ?Processing) ?ProcessingTime)         (meetsTemporally ?DrawingTime ?Time)         (meetsTemporally ?Time ?ProcessingTime)         (duration ?Time             (MeasureFn ?Duration MonthDuration)))     (lessThan ?Duration 6))	FinancialOntology.kif 157-168	If All of the following hold: (1) X is an instance of drawing a check (2) Y is a patient of X (3) Z is an instance of processing a check (4) Y is a patient of Z (5) equal the time of existence of X and W (6) equal the time of existence of Z and V (7) W meets U (8) U meets V (9) duration of U is T month duration(s), then T is less than 6
(=>     (instance ?Processing ProcessingACheck)     (exists (?Check)         (and             (instance ?Check Check)             (patient ?Processing ?Check))))	FinancialOntology.kif 370-375	If X is an instance of processing a check, then there exists Y such that Y is an instance of check and Y is a patient of X
(=>     (instance ?Processing ProcessingACheck)     (exists (?Authorization)         (and             (instance ?Authorization AuthorizationOfTransaction)             (subProcess ?Authorization ?Processing))))	FinancialOntology.kif 377-382	If X is an instance of processing a check, then there exists Y such that Y is an instance of authorization of transaction and Y is a subprocess of X

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

---

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners