| UsingAnAccount(using an account)
|
| appearance as argument number 1 |
|
| (subclass UsingAnAccount FinancialTransaction) | FinancialOntology.kif 310-310 | Using an account is a subclass of financial transaction |
| (documentation UsingAnAccount EnglishLanguage "An activity of using a financial account") | FinancialOntology.kif 311-311 | Using an account is a subclass of financial transaction |
| (externalImage UsingAnAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash_account_summary.png") | pictureList.kif 10327-10327 | Using an account is a subclass of financial transaction |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Using UsingAnAccount) (patient ?Using ?Account) (accountHolder ?Account ?Agent)) (agent ?Using ?Agent)) |
FinancialOntology.kif 313-318 | If X is an instance of using an account, Y is a patient of X, and Z holds account Y, then Z is an agent of X |
| (=> (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 X is an instance of financial account, X is minimum balance using an account for Y Z(s), Z is an instance of unit of currency, X current account balance W for V Z(s), and V is less than Y, then there exists U such that U is an instance of penalizing, date of U is W, and U ends up at the currency of X |
|
|
|