| UsingAnAccount
|
| appearance as argument number 1 |
|
| (documentation UsingAnAccount EnglishLanguage "An activity of using a financial account") | FinancialOntology.kif 309-309 | |
| (externalImage UsingAnAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 99/ Gnucash-account-summary.png") | pictureList.kif 10350-10350 | |
| (subclass UsingAnAccount FinancialTransaction) | FinancialOntology.kif 308-308 | subclass UsingAnAccount and FinancialTransaction |
| appearance as argument number 2 |
|
|
| (subclass DepositingACheck UsingAnAccount) | FinancialOntology.kif 329-329 | subclass DepositingACheck and UsingAnAccount |
| (subclass DrawingACheck UsingAnAccount) | FinancialOntology.kif 318-318 | subclass DrawingACheck and UsingAnAccount |
| (termFormat ChineseLanguage UsingAnAccount "使用帐户") | domainEnglishFormat.kif 60774-60774 | |
| (termFormat ChineseTraditionalLanguage UsingAnAccount "使用帳戶") | domainEnglishFormat.kif 60773-60773 | |
| (termFormat EnglishLanguage UsingAnAccount "using an account") | domainEnglishFormat.kif 60772-60772 |
| antecedent |
|
|
| (=> (and (instance ?Account FinancialAccount) (minimumBalance ?Account UsingAnAccount ?Balance) (currentAccountBalance ?Account ?Date ?Amount) (lessThan ?Amount ?Balance)) (exists (?Penalty) (and (instance ?Penalty Penalty) (date ?Penalty ?Date) (destination ?Penalty (CurrencyFn ?Account))))) |
FinancialOntology.kif 657-667 |
|
| (=> (and (instance ?Using UsingAnAccount) (patient ?Using ?Account) (accountHolder ?Account ?Agent)) (agent ?Using ?Agent)) |
FinancialOntology.kif 311-316 |
|
|
|