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 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
(=>     (and         (instance ?Using UsingAnAccount)         (patient ?Using ?Account)         (accountHolder ?Account ?Agent))     (agent ?Using ?Agent))	FinancialOntology.kif 313-318	If a process is an instance of UsingAnAccount and a FinancialAccount is a patient of the process and accountHolder the FinancialAccount and a cognitive agent, 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