CreditCardAccount![]() |
appearance as argument number 1 |
![]() |
(documentation CreditCardAccount EnglishLanguage "A type of CreditAccount which uses a CreditCard for FinancialTransactions.") | FinancialOntology.kif 1252-1253 | |
(externalImage CreditCardAccount "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ Credit_cards.jpg") | pictureList.kif 9131-9131 | |
(subclass CreditCardAccount CreditAccount) | FinancialOntology.kif 1251-1251 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage CreditCardAccount "信用卡帐户") | domainEnglishFormat.kif 17763-17763 | |
(termFormat ChineseTraditionalLanguage CreditCardAccount "信用卡帳戶") | domainEnglishFormat.kif 17762-17762 | |
(termFormat EnglishLanguage CreditCardAccount "credit card account") | domainEnglishFormat.kif 17761-17761 |
antecedent |
![]() |
(=> (and (instance ?Account CreditCardAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Card) (and (instance ?Card CreditCard) (instrument ?Transaction ?Card)))) |
FinancialOntology.kif 1255-1263 |
consequent |
![]() |
(=> (and (instance ?Card CreditCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account CreditCardAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 220-228 |
![]() |
![]() |