antecedent

(=>     (and         (instance ?Account FinancialAccount)         (minimumBalance ?Account OpeningAnAccount             (MeasureFn ?Balance ?U))         (instance ?U UnitOfCurrency))     (exists (?Payment ?Date ?Amount)         (and             (destination ?Payment                 (CurrencyFn ?Account))             (transactionAmount ?Payment                 (MeasureFn ?Amount ?U))             (greaterThanOrEqualTo ?Amount ?Balance)             (agreementEffectiveDate ?Account ?Date)             (date ?Payment ?Date))))	FinancialOntology.kif 688-701	If a FinancialAccount is an instance of FinancialAccount and minimumBalance the FinancialAccount, OpeningAnAccount and a real number an unit of measure(s) and the unit of measure is an instance of UnitOfCurrency, then there exist a financial transaction, a time point and another real number such that the financial transaction ends up at CurrencyFn the FinancialAccount and transactionAmount the financial transaction and the other real number the unit of measure(s) and the other real number is greater than or equal to the real number and agreementEffectiveDate the FinancialAccount and the time point and date of the financial transaction is the time point
(=>     (and         (instance ?Account FinancialAccount)         (minimumBalance ?Account UsingAnAccount             (MeasureFn ?Balance ?U))         (instance ?U UnitOfCurrency)         (currentAccountBalance ?Account ?Date             (MeasureFn ?Amount ?U))         (lessThan ?Amount ?Balance))     (exists (?Penalty)         (and             (instance ?Penalty Penalty)             (date ?Penalty ?Date)             (destination ?Penalty                 (CurrencyFn ?Account)))))	FinancialOntology.kif 703-716	If a FinancialAccount is an instance of FinancialAccount and minimumBalance the FinancialAccount, UsingAnAccount and a real number an unit of measure(s) and the unit of measure is an instance of UnitOfCurrency and currentAccountBalance the FinancialAccount, a day and another real number the unit of measure(s) and the other real number is less than the real number, then there exists a process such that the process is an instance of Penalty and date of the process is the day and the process ends up at CurrencyFn the FinancialAccount

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