Drill(drill) | core_bit, core_drill, corer, drill_bit, drill_press, drilling_bit |
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 18367-18369 | |
(externalImage Drill "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_2/ drill.png") | pictureList.kif 398-398 | |
(subclass Drill CuttingDevice) | Mid-level-ontology.kif 18366-18366 | Drill is a subclass of cutting device |
appearance as argument number 2 |
(termFormat ChineseLanguage Drill "钻头") | domainEnglishFormat.kif 20446-20446 | |
(termFormat ChineseTraditionalLanguage Drill "鑽頭") | domainEnglishFormat.kif 20445-20445 | |
(termFormat EnglishLanguage Drill "drill") | domainEnglishFormat.kif 20444-20444 |
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 18371-18379 |
|