| 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 19684-19685 | |
| (subclass Drilling IntentionalProcess) | Mid-level-ontology.kif 19682-19682 | |
| (subclass Drilling SurfaceChange) | Mid-level-ontology.kif 19683-19683 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Drilling "钻孔") | domainEnglishFormat.kif 20451-20451 | |
| (termFormat ChineseTraditionalLanguage Drilling "鑽孔") | domainEnglishFormat.kif 20450-20450 | |
| (termFormat EnglishLanguage Drilling "drilling") | domainEnglishFormat.kif 20449-20449 |
| 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 19687-19694 |
|
|
|