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 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 is a subclass of machine

appearance as argument number 2

(termFormat ChineseLanguage Lathe "车床")	domainEnglishFormat.kif 33471-33471
(termFormat ChineseTraditionalLanguage Lathe "車床")	domainEnglishFormat.kif 33470-33470
(termFormat EnglishLanguage Lathe "lathe")	domainEnglishFormat.kif 33469-33469

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	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 5990-5999	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