| CreditCardAccount(credit card account)
|
| appearance as argument number 1 |
|
| (documentation CreditCardAccount EnglishLanguage "A type of CreditAccount which uses a CreditCard for FinancialTransactions.") | FinancialOntology.kif 1236-1237 | |
| (externalImage CreditCardAccount "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ Credit-cards.jpg") | pictureList.kif 9132-9132 | |
| (subclass CreditCardAccount CreditAccount) | FinancialOntology.kif 1235-1235 | Credit card account is a subclass of credit account |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage CreditCardAccount "信用卡帐户") | domainEnglishFormat.kif 17770-17770 | |
| (termFormat ChineseTraditionalLanguage CreditCardAccount "信用卡帳戶") | domainEnglishFormat.kif 17769-17769 | |
| (termFormat EnglishLanguage CreditCardAccount "credit card account") | domainEnglishFormat.kif 17768-17768 |
| antecedent |
|
|
| (=> (and (instance ?Account CreditCardAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Card) (and (instance ?Card CreditCard) (instrument ?Transaction ?Card)))) |
FinancialOntology.kif 1239-1247 |
|
| consequent |
|
|
| (=> (and (instance ?Card CreditCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account CreditCardAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 218-226 |
|
|
|
|