| BankCard
| |
| appearance as argument number 1 |
|
|
| (documentation BankCard EnglishLanguage "A CreditCard or a DebitCard issued by a FinancialOrganization.") | FinancialOntology.kif 180-181 | |
| (externalImage BankCard "http://upload.wikimedia.org/wikipedia/en/8/87/Bankcard_standard_logo.png") | pictureList.kif 5873-5873 | |
| (subclass BankCard FinancialInstrument) | FinancialOntology.kif 179-179 |
| appearance as argument number 2 |
|
|
| (subclass CreditCard BankCard) | FinancialOntology.kif 213-213 | |
| (subclass DebitCard BankCard) | FinancialOntology.kif 198-198 | |
| (subclass ExpiredCard BankCard) | FinancialOntology.kif 3525-3525 | |
| (subclass ValidCard BankCard) | FinancialOntology.kif 3513-3513 | |
| (termFormat ChineseLanguage BankCard "银行卡") | domainEnglishFormat.kif 9819-9819 | |
| (termFormat ChineseTraditionalLanguage BankCard "銀行卡") | domainEnglishFormat.kif 9818-9818 | |
| (termFormat EnglishLanguage BankCard "bank card") | domainEnglishFormat.kif 9817-9817 |
| appearance as argument number 3 |
|
|
| (domain cardAccount 1 BankCard) | FinancialOntology.kif 236-236 | |
| (domain cardCode 2 BankCard) | FinancialOntology.kif 3500-3500 | |
| (domain pin 2 BankCard) | FinancialOntology.kif 3539-3539 |
| antecedent |
|
|
| (=> (and (instance ?Authorization AuthorizationOfTransaction) (instance ?Transaction FinancialTransaction) (instance ?Card BankCard) (instrument ?Transaction ?Card) (causes ?Authorization ?Transaction)) (instance ?Card ValidCard)) |
FinancialOntology.kif 3516-3523 | |
| (=> (and (instance ?Card BankCard) (issuedBy ?Card ?Bank)) (exists (?Account) (and (instance ?Account FinancialAccount) (cardAccount ?Card ?Account) (accountAt ?Account ?Bank)))) |
FinancialOntology.kif 188-196 | |
| (=> (instance ?Card BankCard) (exists (?Organization) (issuedBy ?Card ?Organization))) |
FinancialOntology.kif 183-186 |
| consequent |
|
|
| (=> (instance ?P BankCardPayment) (exists (?C) (and (instrument ?P ?C) (instance ?C BankCard)))) |
Dining.kif 443-448 | |
| (=> (instance ?Slot ATMSlot) (exists (?Insert ?Card) (and (instance ?Insert Putting) (patient ?Insert ?Card) (instance ?Card BankCard) (destination ?Insert ?Slot)))) |
FinancialOntology.kif 3669-3676 |
|
|
|