| CreditCard
| |
| appearance as argument number 1 |
|
|
| (documentation CreditCard EnglishLanguage "Any card that may be used repeatedly to borrow money or buy products and services on credit. Issued by banks, savings and loans, retail stores, and other businesses.") | FinancialOntology.kif 216-218 | |
| (externalImage CreditCard "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3b/ WeTakeCreditDebitCardsCrop.jpg") | pictureList.kif 5939-5939 | |
| (externalImage CreditCard "http://upload.wikimedia.org/wikipedia/commons/ 4/ 4f/ Credit_cards.jpg") | pictureList.kif 6318-6318 | |
| (subclass CreditCard BankCard) | FinancialOntology.kif 215-215 |
| appearance as argument number 2 |
|
|
| (subclass AmericanExpressCard CreditCard) | FinancialOntology.kif 3470-3470 | |
| (subclass DiscoverCard CreditCard) | FinancialOntology.kif 3469-3469 | |
| (subclass MasterCard CreditCard) | FinancialOntology.kif 3468-3468 | |
| (subclass VisaCard CreditCard) | FinancialOntology.kif 3467-3467 | |
| (termFormat ChineseLanguage CreditCard "信用卡") | domainEnglishFormat.kif 17763-17763 | |
| (termFormat ChineseTraditionalLanguage CreditCard "信用卡") | domainEnglishFormat.kif 17762-17762 | |
| (termFormat EnglishLanguage CreditCard "credit card") | domainEnglishFormat.kif 17761-17761 |
| antecedent |
|
|
| (=> (and (instance ?Card CreditCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account CreditCardAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 220-228 |
| consequent |
|
|
| (=> (and (instance ?Account CreditCardAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Card) (and (instance ?Card CreditCard) (instrument ?Transaction ?Card)))) |
FinancialOntology.kif 1255-1263 |
|
|
|