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 5987-5989 | |
(externalImage Lathe "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e9/ Wood-lathe-parts.svg/ 300px-Wood-lathe-parts.svg.png") | pictureList.kif 3727-3727 | |
(subclass Lathe Machine) | Economy.kif 5986-5986 | Lathe e' uma sub-classe de Maquina |
appearance as argument number 2 |
(termFormat ChineseLanguage Lathe "车床") | domainEnglishFormat.kif 33437-33437 | |
(termFormat ChineseTraditionalLanguage Lathe "車床") | domainEnglishFormat.kif 33436-33436 | |
(termFormat EnglishLanguage Lathe "lathe") | domainEnglishFormat.kif 33435-33435 |
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 6000-6011 |
|
(=> (instance ?L Lathe) (hasPurpose ?L (exists (?PROC ?OBJ) (and (instrument ?PROC ?L) (patient ?PROC ?OBJ) (or (instance ?PROC ShapeChange) (instance ?PROC SurfaceChange)))))) |
Economy.kif 5990-5999 |