| 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 5875-5875 | |
| (subclass BankCard FinancialInstrument) | FinancialOntology.kif 179-179 | subclass BankCard and FinancialInstrument |
| appearance as argument number 2 |
|
|
| (subclass CreditCard BankCard) | FinancialOntology.kif 213-213 | subclass CreditCard and BankCard |
| (subclass DebitCard BankCard) | FinancialOntology.kif 198-198 | subclass DebitCard and BankCard |
| (subclass ExpiredCard BankCard) | FinancialOntology.kif 3423-3423 | subclass ExpiredCard and BankCard |
| (subclass ValidCard BankCard) | FinancialOntology.kif 3411-3411 | subclass ValidCard and BankCard |
| (termFormat ChineseLanguage BankCard "银行卡") | domainEnglishFormat.kif 9833-9833 | |
| (termFormat ChineseTraditionalLanguage BankCard "銀行卡") | domainEnglishFormat.kif 9832-9832 | |
| (termFormat EnglishLanguage BankCard "bank card") | domainEnglishFormat.kif 9831-9831 |
| appearance as argument number 3 |
|
|
| (domain cardAccount 1 BankCard) | FinancialOntology.kif 236-236 | domain cardAccount, 1 and BankCard |
| (domain cardCode 2 BankCard) | FinancialOntology.kif 3398-3398 | domain cardCode, 2 and BankCard |
| (domain pin 2 BankCard) | FinancialOntology.kif 3437-3437 | domain pin, 2 and BankCard |
| antecedent |
|
|
| (=> (and (instance ?Authorization AuthorizationOfTransaction) (instance ?Transaction FinancialTransaction) (instance ?Card BankCard) (instrument ?Transaction ?Card) (causes ?Authorization ?Transaction)) (instance ?Card ValidCard)) |
FinancialOntology.kif 3414-3421 | |
| (=> (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) (and (instrument ?P ?C) (instance ?C BankCard))) |
Dining.kif 416-420 |
|
| (=> (instance ?Slot ATMSlot) (exists (?Insert ?Card) (and (instance ?Insert Putting) (patient ?Insert ?Card) (instance ?Card BankCard) (destination ?Insert ?Slot)))) |
FinancialOntology.kif 3568-3575 |
|
|
|