Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| GreetingCard(greeting card) |  | Christmas_card, Easter_card, Valentine, birthday_card, card, get-well_card, greeting_card |
| appearance as argument number 1 |
|
|
| (subclass GreetingCard ContentBearingObject) | Offers.kif 223-223 | Greeting card is a subclass of content bearing object |
| (documentation GreetingCard EnglishLanguage "a rectangular piece of stiff paper used to send messages - may have printed greetings or pictures.") | Offers.kif 225-225 | Greeting card is a subclass of content bearing object |
| appearance as argument number 2 |
|
|
| (subclass HolidayCard GreetingCard) | Offers.kif 222-222 | Holiday card is a subclass of greeting card |
| (termFormat EnglishLanguage GreetingCard "greeting card") | domainEnglishFormat.kif 64957-64957 | Holiday card is a subclass of greeting card |
|