| Screwdriver(screwdriver) | | ratchet_screwdriver, screwdriver, spiral_ratchet_screwdriver |
| appearance as argument number 1 |
|
|
| (documentation Screwdriver EnglishLanguage "A Device that is used to rotate a Screw, which by the action of its helical threads is driven into a medium that is softer than the material of the screw itself.") | Mid-level-ontology.kif 4260-4262 | |
| (subclass Screwdriver Device) | Mid-level-ontology.kif 4259-4259 | Screwdriver is a subclass of device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Screwdriver "screwdriver") | domainEnglishFormat.kif 65474-65474 |
| antecedent |
|
|
| (=> (instance ?D Screwdriver) (hasPurpose ?D (exists (?R ?S) (and (instance ?R Rotating) (instrument ?R ?D) (patient ?R ?S) (instance ?S Screw))))) |
Mid-level-ontology.kif 4264-4272 |
|
|
|
|