Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - FourStrokeExhaust
FourStrokeExhaust(four stroke exhaust)

appearance as argument number 1
-------------------------


(subclass FourStrokeExhaust Motion) Cars.kif 219-219 Four stroke exhaust is a subclass of motion
(documentation FourStrokeExhaust EnglishLanguage "In this cycle of a four stroke engine, exhaust is driven out. During the 1st, 2nd, and 4th stroke the piston is relying on power and the momentum generated by the other pistons.") Cars.kif 221-223 Four stroke exhaust is a subclass of motion

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage FourStrokeExhaust "four stroke exhaust") Cars.kif 220-220

antecedent
-------------------------


(=>
    (and
        (instance ?F FourStrokeExhaust)
        (instance ?C EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (equal ?C
            (HoleHostFn ?I))
        (eventLocated ?F ?C))
    (exists (?E ?M)
        (and
            (instance ?M GasMotion)
            (instance ?E Exhaust)
            (subProcess ?M ?F)
            (origin ?M ?I)
            (patient ?M ?E))))		 Cars.kif 225-238 If X is an instance of four stroke exhaust, 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 exist W, V such that V is an instance of gas motion, W is an instance of exhaust, V is a subprocess of X, V originates at Z, and W is a patient of V

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 114-132 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 147-164 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 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