| Lathe
| |
| appearance as argument number 1 |
|
|
| (documentation Lathe EnglishLanguage "A Machine desighned 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 4872-4872 | |
| (externalImage Lathe "http://upload.wikimedia.org/wikipedia/commons/thumb/ e/ e9/ Wood-lathe-parts.svg/ 300px-Wood-lathe-parts.svg.png") | pictureList.kif 3728-3728 | |
| (subclass Lathe Machine) | Economy.kif 4871-4871 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Lathe "车床") | domainEnglishFormat.kif 33331-33331 | |
| (termFormat ChineseTraditionalLanguage Lathe "車床") | domainEnglishFormat.kif 33330-33330 | |
| (termFormat EnglishLanguage Lathe "lathe") | domainEnglishFormat.kif 33329-33329 |
| 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 4883-4894 | |
| (=> (instance ?L Lathe) (hasPurpose ?L (exists (?PROC ?OBJ) (and (instrument ?PROC ?L) (patient ?PROC ?OBJ) (or (instance ?PROC ShapeChange) (instance ?PROC SurfaceChange)))))) |
Economy.kif 4873-4882 |
|
|
|