|
|
   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 18095-18096 | |
| (subclass Drilling IntentionalProcess) | Mid-level-ontology.kif 18093-18093 | Drilling e' uma sub-classe de Processo Intencional |
| (subclass Drilling SurfaceChange) | Mid-level-ontology.kif 18094-18094 | Drilling e' uma sub-classe de Mudanca Superficial |
| 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 18098-18105 |
|
|
|