| Drilling | |
| 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 18354-18355 | |
| (subclass Drilling IntentionalProcess) | Mid-level-ontology.kif 18352-18352 | |
| (subclass Drilling SurfaceChange) | Mid-level-ontology.kif 18353-18353 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Drilling "钻孔") | domainEnglishFormat.kif 20447-20447 | |
| (termFormat ChineseTraditionalLanguage Drilling "鑽孔") | domainEnglishFormat.kif 20446-20446 | |
| (termFormat EnglishLanguage Drilling "drilling") | domainEnglishFormat.kif 20445-20445 |
| 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 18357-18364 |
|
|
|