| DebitCard | |
| appearance as argument number 1 |
|
|
| (documentation DebitCard EnglishLanguage "A card which allows customers to access their funds immediately, electronically. Unlike a credit card, a debit card does not have any float.") | FinancialOntology.kif 199-201 | |
| (subclass DebitCard BankCard) | FinancialOntology.kif 198-198 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DebitCard "金融卡") | domainEnglishFormat.kif 18798-18798 | |
| (termFormat ChineseTraditionalLanguage DebitCard "金融卡") | domainEnglishFormat.kif 18797-18797 | |
| (termFormat EnglishLanguage DebitCard "debit card") | domainEnglishFormat.kif 18796-18796 |
| antecedent |
|
|
| (=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card) (instance ?Transaction FinancialTransaction) (instrument ?Transaction ?Card)) (exists (?PIN ?Enter) (and (pin ?PIN ?Card) (instance ?Enter EnteringAPin) (patient ?Enter ?PIN) (agent ?Enter ?Agent)))) |
FinancialOntology.kif 3543-3554 | |
| (=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account DepositAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 203-211 |
| consequent |
|
|
| (=> (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 |
|
|
|