Lathe - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Lathe

Lathe(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 6197-6199
(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 6196-6196	Lathe is a subclass of machine

appearance as argument number 2

(termFormat ChineseLanguage Lathe "车床")	domainEnglishFormat.kif 33465-33465
(termFormat ChineseTraditionalLanguage Lathe "車床")	domainEnglishFormat.kif 33464-33464
(termFormat EnglishLanguage Lathe "lathe")	domainEnglishFormat.kif 33463-33463

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 6210-6221	If an agent is an instance of lathe and an entity is an instance of object and the agent is an instrument for a process and the entity is a patient of the process, then there exists another process such that the other process is an instance of rotating and the process is a subprocess of the other process and the entity is a patient of the other process and the agent is an agent of the other process
(=> (instance ?L Lathe) (hasPurpose ?L (exists (?PROC ?OBJ) (and (instrument ?PROC ?L) (patient ?PROC ?OBJ) (or (instance ?PROC ShapeChange) (instance ?PROC SurfaceChange))))))	Economy.kif 6200-6209	If a physical is an instance of lathe, then the physical has the purpose there exist an entity and another entity such that the physical is an instrument for the entity and the other entity is a patient of the entity and the entity is an instance of shape change or the entity is an instance of surface change

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners