| 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 4678-4679 | |
| (externalImage Hammer "http://upload.wikimedia.org/wikipedia/commons/f/fa/ Hammer.jpg") | pictureList.kif 108-108 | |
| (externalImage Hammer "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ transportation/ Black_n_White/ HAMMER.png") | pictureList.kif 488-488 | |
| (subclass Hammer Device) | Mid-level-ontology.kif 4677-4677 | Hammer is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Hammer "锤子") | domainEnglishFormat.kif 27217-27217 | |
| (termFormat ChineseTraditionalLanguage Hammer "錘子") | domainEnglishFormat.kif 27216-27216 | |
| (termFormat EnglishLanguage Hammer "hammer") | domainEnglishFormat.kif 27215-27215 |
| 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 4681-4689 |
|
|
|
|