FourStrokeEngineCycle - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - FourStrokeEngineCycle

FourStrokeEngineCycle(four stroke engine cycle)

appearance as argument number 1

(documentation FourStrokeEngineCycle EnglishLanguage "The Processes that occur in a FourStrokeEngine. Such a cycle necessarily includes each instance of one of the four strokes, in sequence, followed by another intake stroke.")	Cars.kif 136-138
(subclass FourStrokeEngineCycle EngineCycle)	Cars.kif 134-134	Four stroke engine cycle is a subclass of engine cycle

appearance as argument number 2

(termFormat EnglishLanguage FourStrokeEngineCycle "four stroke engine cycle")

Cars.kif 135-135

antecedent

(=> (instance ?F FourStrokeEngineCycle) (exists (?E) (and (instance ?E FourStrokeEngine) (eventLocated ?F ?E))))	Cars.kif 140-145	If a process is an instance of four stroke engine cycle, then there exists an object such that the object is an instance of four stroke engine and the process is located at the object
(=> (instance ?FSE FourStrokeEngineCycle) (exists (?I ?CM ?CB ?E ?I2) (and (instance ?I FourStrokeIntake) (instance ?CM FourStrokeCompression) (instance ?CB FourStrokeCombustion) (instance ?E FourStrokeExhaust) (instance ?I2 FourStrokeIntake) (subProcess ?I ?FSE) (subProcess ?CM ?FSE) (subProcess ?CB ?FSE) (subProcess ?E ?FSE) (subProcess ?I2 ?FSE) (meetsTemporally ?I ?CM) (meetsTemporally ?CM ?CB) (meetsTemporally ?CB ?E) (meetsTemporally ?E ?I2))))	Cars.kif 147-164	If a process is an instance of four stroke engine cycle, then there exist a time interval, another time interval,, , a third time interval,, , a fourth time interval and the time interval2 such that the time interval is an instance of four stroke intake and the other time interval is an instance of four stroke compression and the third time interval is an instance of four stroke combustion and the fourth time interval is an instance of four stroke exhaust and the time interval2 is an instance of four stroke intake and the time interval is a subprocess of the process and the other time interval is a subprocess of the process and the third time interval is a subprocess of the process and the fourth time interval is a subprocess of the process and the time interval2 is a subprocess of the process and the time interval meets the other time interval and the other time interval meets the third time interval and the third time interval meets the fourth time interval and the fourth time interval meets the time interval2

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