| Hammer(hammer)
| | ball-peen_hammer, hammer, tack_hammer |
| appearance as argument number 1 |
|
|
| (documentation Hammer EnglishLanguage "A Device that is used to pound Nails into a surface, where they become firmly attached.") | Mid-level-ontology.kif 4202-4203 | |
| (externalImage Hammer "http://articulatesoftware.com/SUMOpictures/transportation/ Black_n_White/ HAMMER.png") | pictureList.kif 488-488 | |
| (externalImage Hammer "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Hammer.jpg") | pictureList.kif 108-108 | |
| (subclass Hammer Device) | Mid-level-ontology.kif 4201-4201 | Hammer is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Hammer "锤子") | domainEnglishFormat.kif 27328-27328 | |
| (termFormat ChineseTraditionalLanguage Hammer "錘子") | domainEnglishFormat.kif 27327-27327 | |
| (termFormat EnglishLanguage Hammer "hammer") | domainEnglishFormat.kif 27326-27326 |
| antecedent |
|
|
| (=> (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 4205-4213 |
|
|
|
|