Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
AmericanExpressCard(american express card)
|
| appearance as argument number 1 |
|
| (subclass AmericanExpressCard CreditCard) | FinancialOntology.kif 3510-3510 | American express card is a subclass of credit card |
| (externalImage AmericanExpressCard "http://upload.wikimedia.org/wikipedia/ commons/ 7/ 7b/ World_Financial_Center.jpg") | pictureList.kif 5847-5847 | American express card is a subclass of credit card |
| appearance as argument number 2 |
|
|
|