antecedent

(=>     (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 financial account is an instance of financial account and the financial account is minimum balance using an account for a real number an unit of measure(s) and the unit of measure is an instance of unit of currency and the financial account current account balance a day for 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 penalizing and date of the process is the day and the process ends up at the currency of the financial account
(=>     (and         (instance ?Using UsingAnAccount)         (patient ?Using ?Account)         (accountHolder ?Account ?Agent))     (agent ?Using ?Agent))	FinancialOntology.kif 313-318	If a process is an instance of using an account and a financial account is a patient of the process and a cognitive agent holds account the financial account, then the cognitive agent is an agent of the process

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 is open source software produced by Articulate Software and its partners