| 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 1143-1143 | |
| (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 1142-1142 | Checking account is a subclass of deposit account |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CheckingAccount "支票账户") | domainEnglishFormat.kif 14259-14259 | |
| (termFormat ChineseTraditionalLanguage CheckingAccount "支票賬戶") | domainEnglishFormat.kif 14258-14258 | |
| (termFormat EnglishLanguage CheckingAccount "checking account") | domainEnglishFormat.kif 14257-14257 |
| 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 1145-1158 |
|
|
|
|