| 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 | BankCard は FinancialInstrument の subclass では |
| appearance as argument number 2 |
|
|
| (subclass CreditCard BankCard) | FinancialOntology.kif 215-215 | CreditCard は BankCard の subclass では |
| (subclass DebitCard BankCard) | FinancialOntology.kif 200-200 | DebitCard は BankCard の subclass では |
| (subclass ExpiredCard BankCard) | FinancialOntology.kif 3543-3543 | ExpiredCard は BankCard の subclass では |
| (subclass ValidCard BankCard) | FinancialOntology.kif 3531-3531 | ValidCard は BankCard の subclass では |
| (termFormat ChineseLanguage BankCard "银行卡") | domainEnglishFormat.kif 9817-9817 | ValidCard は BankCard の subclass では |
| (termFormat ChineseTraditionalLanguage BankCard "銀行卡") | domainEnglishFormat.kif 9816-9816 | ValidCard は BankCard の subclass では |
| (termFormat EnglishLanguage BankCard "bank card") | domainEnglishFormat.kif 9815-9815 | ValidCard は BankCard の subclass では |
| appearance as argument number 3 |
|
|
| (domain cardAccount 1 BankCard) | FinancialOntology.kif 238-238 | cardAccount の数値 1 引数は BankCard の instance では |
| (domain cardCode 2 BankCard) | FinancialOntology.kif 3518-3518 | cardCode の数値 2 引数は BankCard の instance では |
| (domain pin 2 BankCard) | FinancialOntology.kif 3557-3557 | pin の数値 2 引数は BankCard の instance では |
| 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 |
|
|
|