| Nail(nail)
| | brad, clout, clout_nail, doornail, eightpenny_nail, fourpenny_nail, hobnail, nail, sixpenny_nail, spike, staple, stub_nail, tack, tenpenny_nail |
| appearance as argument number 1 |
|
|
| (subclass Nail AttachingDevice) | Mid-level-ontology.kif 4682-4682 | Nail is a subclass of attaching device |
| (documentation Nail EnglishLanguage "An AttachingDevice which is a thin piece of metal, with or without a head, that is fastened with a Hammer.") | Mid-level-ontology.kif 4683-4684 | Nail is a subclass of attaching device |
| (externalImage Nail "http://upload.wikimedia.org/wikipedia/commons/5/56/ Nail.agr.jpg") | pictureList.kif 136-136 | Nail is a subclass of attaching device |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (instance ?H Hammer) (hasPurpose ?H (exists (?I ?N) (and (instance ?I Impelling) (instrument ?I ?H) (patient ?I ?N) (instance ?N Nail))))) |
Mid-level-ontology.kif 4672-4680 | If X is an instance of hammer, then X has the purpose there exist Y, Z such that Y is an instance of impelling, X is an instrument for Y, Z is a patient of Y, and Z is an instance of nail |
|
|
|