Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
DiscoverCard(discover card)
|
| appearance as argument number 1 |
|
| (subclass DiscoverCard CreditCard) | FinancialOntology.kif 3509-3509 | Discover card is a subclass of credit card |
| (externalImage DiscoverCard "http://articulatesoftware.com/SUMOpictures/ money/ Credit_Cards/ discover_card.png") | pictureList.kif 390-390 | Discover card is a subclass of credit card |
| appearance as argument number 2 |
|
|
|