| 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 201-203 | |
| (subclass DebitCard BankCard) | FinancialOntology.kif 200-200 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DebitCard "金融卡") | domainEnglishFormat.kif 18813-18813 | |
| (termFormat ChineseTraditionalLanguage DebitCard "金融卡") | domainEnglishFormat.kif 18812-18812 | |
| (termFormat EnglishLanguage DebitCard "debit card") | domainEnglishFormat.kif 18811-18811 |
| 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 3561-3572 | |
| (=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account DepositAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 205-213 |
| 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 1145-1158 |
|
|
|