Lathe![]() | ![]() |
appearance as argument number 1 |
![]() |
(documentation Lathe EnglishLanguage "A Machine designed to shape (or change the surface of) a Object made of different materials by means of Rotating the Object against a Device making the change.") | Economy.kif 6385-6387 | |
(externalImage Lathe "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e9/ Wood_lathe_parts.svg/ 300px_Wood_lathe_parts.svg.png") | pictureList.kif 3726-3726 | |
(subclass Lathe Machine) | Economy.kif 6384-6384 |
appearance as argument number 2 |
![]() |
(termFormat ChineseLanguage Lathe "车床") | domainEnglishFormat.kif 33448-33448 | |
(termFormat ChineseTraditionalLanguage Lathe "車床") | domainEnglishFormat.kif 33447-33447 | |
(termFormat EnglishLanguage Lathe "lathe") | domainEnglishFormat.kif 33446-33446 |
antecedent |
![]() |
(=> (and (instance ?L Lathe) (instance ?OBJ Object) (instrument ?PROC ?L) (patient ?PROC ?OBJ)) (exists (?R) (and (instance ?R Rotating) (subProcess ?PROC ?R) (patient ?R ?OBJ) (agent ?R ?L)))) |
Economy.kif 6398-6409 | |
(=> (instance ?L Lathe) (hasPurpose ?L (exists (?PROC ?OBJ) (and (instrument ?PROC ?L) (patient ?PROC ?OBJ) (or (instance ?PROC ShapeChange) (instance ?PROC SurfaceChange)))))) |
Economy.kif 6388-6397 |
![]() |
![]() |