antecedent

(=>     (and         (instance ?Statement BankStatement)         (statementAccount ?Statement ?Account))     (exists (?Transaction)         (and             (instance ?Transaction FinancialTransaction)             (or                 (origin ?Transaction                     (CurrencyFn ?Account))                 (destination ?Transaction                     (CurrencyFn ?Account)))             (realization ?Statement ?Transaction))))	FinancialOntology.kif 3943-3953	If X is an instance of bank statement and Y is a statement account of X, then there exists Z such that Z is an instance of financial transaction, Z originates at the currency of Y or Z ends up at the currency of Y, and X expresses the content of Z
(=>     (and         (statementInterest ?Statement ?Interest)         (statementPeriod ?Statement ?Period)         (statementAccount ?Statement ?Account))     (interestEarned ?Account ?Interest ?Period))	FinancialOntology.kif 4140-4145	If X is a statement interest of Y, Z is a statement period of Y, and W is a statement account of Y, then W is interest earned X for Z

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