|
|
   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 18123-18124 | |
| (subclass Drilling IntentionalProcess) | Mid-level-ontology.kif 18121-18121 | |
| (subclass Drilling SurfaceChange) | Mid-level-ontology.kif 18122-18122 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Drilling "钻孔") | domainEnglishFormat.kif 20436-20436 | |
| (termFormat ChineseTraditionalLanguage Drilling "鑽孔") | domainEnglishFormat.kif 20435-20435 | |
| (termFormat EnglishLanguage Drilling "drilling") | domainEnglishFormat.kif 20434-20434 |
| 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 18126-18133 |
|
|
|