| CheckingAccount(checking account)
| | checking_account, chequing_account, current_account |
| appearance as argument number 1 |
|
|
| (documentation CheckingAccount EnglishLanguage "A bank account against which the depositor can draw checks") | FinancialOntology.kif 1127-1127 | |
| (externalImage CheckingAccount "http://upload.wikimedia.org/wikipedia/commons/ 9/ 9e/ CanadianChequeSamplePAR.png") | pictureList.kif 9042-9042 | |
| (externalImage CheckingAccount "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") | pictureList.kif 8412-8412 | |
| (subclass CheckingAccount DepositAccount) | FinancialOntology.kif 1126-1126 | Checking account is a subclass of deposit account |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CheckingAccount "支票账户") | domainEnglishFormat.kif 14255-14255 | |
| (termFormat ChineseTraditionalLanguage CheckingAccount "支票賬戶") | domainEnglishFormat.kif 14254-14254 | |
| (termFormat EnglishLanguage CheckingAccount "checking account") | domainEnglishFormat.kif 14253-14253 |
| antecedent |
|
|
| (=> (and (instance ?Account CheckingAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (or (exists (?Check) (and (instance ?Check Check) (instrument ?Transaction ?Check))) (exists (?DebitCard) (and (instance ?DebitCard DebitCard) (instrument ?Transaction ?DebitCard))))) |
FinancialOntology.kif 1129-1142 |
|
|
|
|