|
|
   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 18789-18789 | |
| (termFormat ChineseTraditionalLanguage DebitCard "金融卡") | domainEnglishFormat.kif 18788-18788 | |
| (termFormat EnglishLanguage DebitCard "debit card") | domainEnglishFormat.kif 18787-18787 |
| antecedent |
|
|
| (=> (and (instance ?Card DebitCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account DepositAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 203-211 |
|
|
|