Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Drill
Drill(drill)
core_bit, core_drill, corer, drill_bit, drill_press, drilling_bit

appearance as argument number 1
-------------------------


(subclass Drill CuttingDevice) Mid-level-ontology.kif 20042-20042 Drill is a subclass of cutting device
(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 20043-20045 Drill is a subclass of cutting device
(externalImage Drill "http://articulatesoftware.com/SUMOpictures/small_icons/ misc_2/ drill.png") pictureList.kif 398-398 Drill is a subclass of cutting device

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Drill "drill") domainEnglishFormat.kif 20430-20430
(termFormat ChineseTraditionalLanguage Drill "鑽頭") domainEnglishFormat.kif 20431-20431
(termFormat ChineseLanguage Drill "钻头") domainEnglishFormat.kif 20432-20432

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 20047-20055 If X is an instance of drill, then X has the purpose there exist Y, Z such that Y is an instance of cutting, Z is an instance of hole, Z is a result of Y, and X is an instrument for Y


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners