Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Loam
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Hay PlantSubstance) | Mid-level-ontology.kif 22638-22638 | 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 22639-22639 | 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 22641-22643 | 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 22645-22652 | 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 |
|
