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

KB Term:  Term intersection
English Word: 

Sigma KEE - Drilling
Drilling(drilling)bore, drill, spud

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


(subclass Drilling IntentionalProcess) Mid-level-ontology.kif 20028-20028 Drilling is a subclass of intentional process
(subclass Drilling SurfaceChange) Mid-level-ontology.kif 20029-20029 Drilling is a subclass of surface change
(documentation Drilling EnglishLanguage "Any Process of producing a hole in a SelfConnectedObject which involves rotating a long, thin bit.") Mid-level-ontology.kif 20030-20031 Drilling is a subclass of surface change

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


(termFormat EnglishLanguage Drilling "drilling") domainEnglishFormat.kif 20436-20436
(termFormat ChineseTraditionalLanguage Drilling "鑽孔") domainEnglishFormat.kif 20437-20437
(termFormat ChineseLanguage Drilling "钻孔") domainEnglishFormat.kif 20438-20438

antecedent
-------------------------


(=>
    (and
        (instance ?DRILL Drilling)
        (patient ?DRILL ?OBJ))
    (exists (?HOLE)
        (and
            (holdsDuring
                (BeginFn
                    (WhenFn ?DRILL))
                (not
                    (hole ?HOLE ?OBJ)))
            (holdsDuring
                (EndFn
                    (WhenFn ?DRILL))
                (hole ?HOLE ?OBJ)))))		 Mid-level-ontology.kif 20033-20040 If X is an instance of drilling and Y is a patient of X, then there exists Z such that Z is not a hole in Y holds during the beginning of the time of existence of X and Z is a hole in Y holds during the end of the time of existence of X


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-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners