antecedent

(=>     (and         (instance ?Account SavingsAccount)         (instance ?Transaction FinancialTransaction)         (origin ?Transaction             (CurrencyFn ?Account)))     (exists (?Authorization)         (and             (instance ?Authorization AuthorizationOfTransaction)             (subProcess ?Authorization ?Transaction))))	FinancialOntology.kif 1058-1066	If X is an instance of savings account, Y is an instance of financial transaction, and Y originates at the currency of X, then there exists Z such that Z is an instance of authorization of transaction and Z is a subprocess of Y
(=>     (and         (instance ?Account SavingsAccount)         (accountHolder ?Account ?Agent)         (interestEarned ?Account ?Interest ?Period))     (exists (?Payment)         (and             (destination ?Payment                 (CurrencyFn ?Account))             (transactionAmount ?Payment ?Interest)             (destination ?Payment ?Agent))))	FinancialOntology.kif 1068-1077	If X is an instance of savings account, Y holds account X, and X is interest earned Z for W, then there exists V such that V ends up at the currency of X, Z is a transaction amount of V, and V ends up at Y

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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners