BankCard![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation BankCard EnglishLanguage "A CreditCard or a DebitCard issued by a FinancialOrganization.") | FinancialOntology.kif 182-183 | |
(externalImage BankCard "http://upload.wikimedia.org/wikipedia/en/8/87/Bankcard_standard_logo.png") | pictureList.kif 5873-5873 | |
(subclass BankCard FinancialInstrument) | FinancialOntology.kif 181-181 |
appearance as argument number 2 |
![]() |
(subclass CreditCard BankCard) | FinancialOntology.kif 215-215 | |
(subclass DebitCard BankCard) | FinancialOntology.kif 200-200 | |
(subclass ExpiredCard BankCard) | FinancialOntology.kif 3543-3543 | |
(subclass ValidCard BankCard) | FinancialOntology.kif 3531-3531 | |
(termFormat ChineseLanguage BankCard "银行卡") | domainEnglishFormat.kif 9817-9817 | |
(termFormat ChineseTraditionalLanguage BankCard "銀行卡") | domainEnglishFormat.kif 9816-9816 | |
(termFormat EnglishLanguage BankCard "bank card") | domainEnglishFormat.kif 9815-9815 |
appearance as argument number 3 |
![]() |
(domain cardAccount 1 BankCard) | FinancialOntology.kif 238-238 | |
(domain cardCode 2 BankCard) | FinancialOntology.kif 3518-3518 | |
(domain pin 2 BankCard) | FinancialOntology.kif 3557-3557 |
antecedent |
![]() |
(=> (and (instance ?Authorization AuthorizationOfTransaction) (instance ?Transaction FinancialTransaction) (instance ?Card BankCard) (instrument ?Transaction ?Card) (causes ?Authorization ?Transaction)) (instance ?Card ValidCard)) |
FinancialOntology.kif 3534-3541 | |
(=> (and (instance ?Card BankCard) (issuedBy ?Card ?Bank)) (exists (?Account) (and (instance ?Account FinancialAccount) (cardAccount ?Card ?Account) (accountAt ?Account ?Bank)))) |
FinancialOntology.kif 190-198 | |
(=> (instance ?Card BankCard) (exists (?Organization) (issuedBy ?Card ?Organization))) |
FinancialOntology.kif 185-188 |
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 3687-3694 |
![]() |
![]() |