CheckingAccount
|
|
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 9043-9043 | |
(externalImage CheckingAccount "http://upload.wikimedia.org/wikipedia/commons/ b/ b9/ CanadianChequeSample.png") | pictureList.kif 8413-8413 | |
(subclass CheckingAccount DepositAccount) | FinancialOntology.kif 1126-1126 |
appearance as argument number 2 |
(termFormat ChineseLanguage CheckingAccount "支票账户") | domainEnglishFormat.kif 14244-14244 | |
(termFormat ChineseTraditionalLanguage CheckingAccount "支票賬戶") | domainEnglishFormat.kif 14243-14243 | |
(termFormat EnglishLanguage CheckingAccount "checking account") | domainEnglishFormat.kif 14242-14242 |
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 |