|
|
   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 5030-5030 | |
| (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 5029-5029 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage Lathe "车床") | domainEnglishFormat.kif 33420-33420 | |
| (termFormat ChineseTraditionalLanguage Lathe "車床") | domainEnglishFormat.kif 33419-33419 | |
| (termFormat EnglishLanguage Lathe "lathe") | domainEnglishFormat.kif 33418-33418 |
| 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 5041-5052 | |
| (=> (instance ?L Lathe) (hasPurpose ?L (exists (?PROC ?OBJ) (and (instrument ?PROC ?L) (patient ?PROC ?OBJ) (or (instance ?PROC ShapeChange) (instance ?PROC SurfaceChange)))))) |
Economy.kif 5031-5040 |
|
|
|
