Drilling(drilling) | ![]() | bore, drill, spud |
appearance as argument number 1 |
![]() |
(documentation Drilling EnglishLanguage "Any Process of producing a hole in a SelfConnectedObject which involves rotating a long, thin bit.") | Mid-level-ontology.kif 19667-19668 | |
(subclass Drilling IntentionalProcess) | Mid-level-ontology.kif 19665-19665 | Drilling is a subclass of intentional process |
(subclass Drilling SurfaceChange) | Mid-level-ontology.kif 19666-19666 | Drilling is a subclass of surface change |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Drilling "钻孔") | domainEnglishFormat.kif 20445-20445 | |
(termFormat ChineseTraditionalLanguage Drilling "鑽孔") | domainEnglishFormat.kif 20444-20444 | |
(termFormat EnglishLanguage Drilling "drilling") | domainEnglishFormat.kif 20443-20443 |
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 19670-19677 |
|
![]() |
![]() |