| HolidayCard(holiday card)
|
| appearance as argument number 1 |
|
| (subclass HolidayCard ContentBearingObject) | Mid-level-ontology.kif 16391-16391 | Holiday card is a subclass of content bearing object |
| (documentation HolidayCard EnglishLanguage "A stiff piece of Paper, usually folded over, which is sent to others in celebration of a Holiday.") | Mid-level-ontology.kif 16392-16393 | Holiday card is a subclass of content bearing object |
| (subclass HolidayCard GreetingCard) | Offers.kif 222-222 | Holiday card is a subclass of greeting card |
| (externalImage HolidayCard "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0f/ Julekort.jpg") | pictureList.kif 4724-4724 | Holiday card is a subclass of greeting card |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?C HolidayCard) (material Paper ?C)) |
Mid-level-ontology.kif 16395-16397 | If X is an instance of holiday card, then X is made of paper |
| (=> (instance ?C HolidayCard) (exists (?H) (and (instance ?H Holiday) (refers ?C ?H)))) |
Mid-level-ontology.kif 16399-16404 | If X is an instance of holiday card, then there exists Y such that Y is an instance of holiday and X includes a reference to Y |
|
|
|