| Drill
| |
| appearance as argument number 1 |
|
|
| (documentation Drill EnglishLanguage "A Device that has the purpose of creating a HoleRegion. This covers manual drills as well as electric or pneumatic drills.") | Mid-level-ontology.kif 18136-18138 | |
| (externalImage Drill "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_2/ drill.png") | pictureList.kif 398-398 | |
| (subclass Drill CuttingDevice) | Mid-level-ontology.kif 18135-18135 | Drill è una sottoclasse di CuttingDevice |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Drill "钻头") | domainEnglishFormat.kif 20430-20430 | |
| (termFormat ChineseTraditionalLanguage Drill "鑽頭") | domainEnglishFormat.kif 20429-20429 | |
| (termFormat EnglishLanguage Drill "drill") | domainEnglishFormat.kif 20428-20428 |
| antecedent |
|
|
| (=> (instance ?D Drill) (hasPurpose ?D (exists (?E ?H) (and (instance ?E Cutting) (instance ?H HoleRegion) (result ?E ?H) (instrument ?E ?D))))) |
Mid-level-ontology.kif 18140-18148 |
|
|
|