Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
Lathe(lathe)
|  | lathe |
| appearance as argument number 1 |
|
|
| (subclass Lathe Machine) | Economy.kif 6408-6408 | Lathe is a subclass of machine |
| (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 6409-6411 | Lathe is a subclass of machine |
| (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 | Lathe is a subclass of machine |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?L Lathe) (hasPurpose ?L (exists (?PROC ?OBJ) (and (instrument ?PROC ?L) (patient ?PROC ?OBJ) (or (instance ?PROC ShapeChange) (instance ?PROC SurfaceChange)))))) |
Economy.kif 6412-6421 | If X is an instance of lathe, then X has the purpose there exist Y, Z such that X is an instrument for Y, Z is a patient of Y, and Y is an instance of shape change or Y is an instance of surface change |
| (=> (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 6422-6433 | If X is an instance of lathe, Y is an instance of object, X is an instrument for Z, and Y is a patient of Z, then there exists W such that W is an instance of rotating, Z is a subprocess of W, Y is a patient of W, and X is an agent of W |
|