TreeView Knowledge Base Browser - FourStrokeCombustion

appearance as argument number 1

(subclass FourStrokeCombustion Motion)	Cars.kif 155-155	Four stroke combustion is a subclass of motion
(documentation FourStrokeCombustion EnglishLanguage "In this cycle of a four stroke engine, fuel combusts and piston is pushed downwards.")	Cars.kif 157-158	Four stroke combustion is a subclass of motion

appearance as argument number 2

(termFormat EnglishLanguage FourStrokeCombustion "four stroke combustion")

Cars.kif 156-156

antecedent

(=>
    (and
        (instance ?F FourStrokeCombustion)
        (instance ?C EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (equal ?C
            (HoleHostFn ?I))
        (eventLocated ?F ?C))
    (exists (?CO)
        (and
            (instance ?CO Combustion)
            (subProcess ?CO ?F))))

Cars.kif 160-170

If X is an instance of four stroke combustion, Y is an instance of engine cylinder, Z is an instance of internal combustion chamber, equal Y and the host of the hole Z, and X is located at Y, then there exists W such that W is an instance of burning and W is a subprocess of X

consequent

(=> (instance ?FSE FourStrokeEngine) (hasPurpose ?FSE (exists (?I ?CM ?CB ?E ?I2) (and (instance ?I FourStrokeIntake) (instance ?CM FourStrokeCompression) (instance ?CB FourStrokeCombustion) (instance ?E FourStrokeExhaust) (instance ?I2 FourStrokeIntake) (eventLocated ?I ?FSE) (eventLocated ?CM ?FSE) (eventLocated ?CB ?FSE) (eventLocated ?E ?FSE) (eventLocated ?I2 ?FSE) (meetsTemporally ?I ?CM) (meetsTemporally ?CM ?CB) (meetsTemporally ?CB ?E) (meetsTemporally ?E ?I2)))))	Cars.kif 67-85	If X is an instance of four stroke engine, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V (2) U such that Y is an instance of four stroke intake (3) Z is an instance of four stroke compression (4) W is an instance of four stroke combustion (5) V is an instance of four stroke exhaust (6) U is an instance of four stroke intake (7) Y is located at X (8) Z is located at X (9) W is located at X (10) V is located at X (11) U is located at X (12) Y meets Z (13) Z meets W (14) W meets V (15) V meets U
(=> (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 100-117	If X is an instance of four stroke engine cycle, then All of the following hold: (1) there exist Y, Z,, , W,, , V (2) U such that Y is an instance of four stroke intake (3) Z is an instance of four stroke compression (4) W is an instance of four stroke combustion (5) V is an instance of four stroke exhaust (6) U is an instance of four stroke intake (7) Y is a subprocess of X (8) Z is a subprocess of X (9) W is a subprocess of X (10) V is a subprocess of X (11) U is a subprocess of X (12) Y meets Z (13) Z meets W (14) W meets V (15) V meets U

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

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: