Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
CreditCardAccount(credit card account)
|
| appearance as argument number 1 |
|
| (subclass CreditCardAccount CreditAccount) | FinancialOntology.kif 1273-1273 | Credit card account is a subclass of credit account |
| (documentation CreditCardAccount EnglishLanguage "A type of CreditAccount which uses a CreditCard for FinancialTransactions.") | FinancialOntology.kif 1274-1275 | Credit card account is a subclass of credit account |
| (externalImage CreditCardAccount "http://upload.wikimedia.org/wikipedia/ commons/ 4/ 4f/ Credit_cards.jpg") | pictureList.kif 9131-9131 | Credit card account is a subclass of credit account |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (and (instance ?Account CreditCardAccount) (instance ?Transaction FinancialTransaction) (origin ?Transaction (CurrencyFn ?Account))) (exists (?Card) (and (instance ?Card CreditCard) (instrument ?Transaction ?Card)))) |
FinancialOntology.kif 1277-1285 | If X is an instance of credit card account, Y is an instance of financial transaction, and Y originates at the currency of X, then there exists Z such that Z is an instance of credit card and Z is an instrument for Y |
| consequent |
|
|
| (=> (and (instance ?Card CreditCard) (possesses ?Agent ?Card)) (exists (?Account) (and (instance ?Account CreditCardAccount) (cardAccount ?Card ?Account) (accountHolder ?Account ?Agent)))) |
FinancialOntology.kif 220-228 | If X is an instance of credit card and Y possesses X, then there exists Z such that Z is an instance of credit card account, Z is a card account of X, and Y holds account Z |
|