| Hay(hay)
| | hay, haymow, straw |
| appearance as argument number 1 |
|
|
| (subclass Hay PlantSubstance) | Mid-level-ontology.kif 22675-22675 | Hay is a subclass of plant substance |
| (documentation Hay EnglishLanguage "Grass that has been cut and cured for use as Fodder.") | Mid-level-ontology.kif 22676-22676 | Hay is a subclass of plant substance |
| (externalImage Hay "http://upload.wikimedia.org/wikipedia/commons/8/8d/Romanian_hay.jpg") | pictureList.kif 1483-1483 | Hay is a subclass of plant substance |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?H Hay) (attribute ?H Fodder)) |
Mid-level-ontology.kif 22678-22680 | If X is an instance of hay, then fodder is an attribute of X |
| (=> (instance ?HAY Hay) (exists (?MAKE ?GRASS) (and (instance ?MAKE Making) (resource ?MAKE ?GRASS) (instance ?GRASS Grass) (result ?MAKE ?HAY)))) |
Mid-level-ontology.kif 22682-22689 | If X is an instance of hay, then there exist Y, Z such that Y is an instance of making, Z is a resource for Y, Z is an instance of grass plant, and X is a result of Y |
|
|
|