| 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 4209-4210 | |
| (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 4208-4208 | Hammer est une sous-classe de appareil |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Hammer "锤子") | domainEnglishFormat.kif 27294-27294 | |
| (termFormat ChineseTraditionalLanguage Hammer "錘子") | domainEnglishFormat.kif 27293-27293 | |
| (termFormat EnglishLanguage Hammer "hammer") | domainEnglishFormat.kif 27292-27292 |
| 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 4212-4220 |
|
|
|