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

KB Term:  Term intersection
English Word: 

Sigma KEE - FourStrokeEngine
FourStrokeEngine(four stroke engine)

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


(subclass FourStrokeEngine IntermittentCombustionEngine) Cars.kif 49-49 Four stroke engine is a subclass of intermittent combustion engine
(externalImage FourStrokeEngine "http://upload.wikimedia.org/wikipedia/commons/ d/ dc/ 4StrokeEngine_Ortho_3D_Small.gif") Cars.kif 50-50 Four stroke engine is a subclass of intermittent combustion engine
(documentation FourStrokeEngine EnglishLanguage "InternalCombustionEngines based on the four_stroke (Otto cycle) have one power stroke for every four strokes (up_down_up_down) and employ spark plug ignition. Combustion occurs rapidly, and during combustion the volume varies little (constant volume). They are used in cars, larger boats, some motorcycles, and many light aircraft. They are generally quieter, more efficient, and larger than their TwoStrokeEngine counterparts. [from Wikipedia]") Cars.kif 52-58 Four stroke engine is a subclass of intermittent combustion engine

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


(termFormat EnglishLanguage FourStrokeEngine "four stroke engine") Cars.kif 51-51
(typicalPart ExhaustValve FourStrokeEngine) Cars.kif 2500-2500 A exhaust valve is typically a part of a four stroke engine
(typicallyContainsPart ExhaustValve FourStrokeEngine) Cars.kif 2501-2501 A four stroke engine typically has a part exhaust valve
(typicalPart IntakeValve FourStrokeEngine) Cars.kif 2525-2525 A intake valve is typically a part of a four stroke engine
(typicallyContainsPart IntakeValve FourStrokeEngine) Cars.kif 2526-2526 A four stroke engine typically has a part intake valve
(typicalPart PositiveCrankcaseVentilationValve FourStrokeEngine) Cars.kif 3685-3685 A positive crankcase ventilation valve is typically a part of a four stroke engine
(typicalPart RockerArm FourStrokeEngine) Cars.kif 3710-3710 A rocker arm is typically a part of a four stroke engine
(typicallyContainsPart RockerArm FourStrokeEngine) Cars.kif 3711-3711 A four stroke engine typically has a part rocker arm

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


(=>
    (instance ?FSE FourStrokeEngine)
    (exists (?C)
        (and
            (instance ?C EngineCylinder)
            (part ?C ?FSE))))		 Cars.kif 60-65 If X is an instance of four stroke engine, then there exists Y such that Y is an instance of engine cylinder and Y is a part of X
(=>
    (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

consequent
-------------------------


(=>
    (instance ?F FourStrokeEngineCycle)
    (exists (?E)
        (and
            (instance ?E FourStrokeEngine)
            (eventLocated ?F ?E))))		 Cars.kif 93-98 If X is an instance of four stroke engine cycle, then there exists Y such that Y is an instance of four stroke engine and X is located at Y
(=>
    (instance ?RA RockerArm)
    (hasPurpose ?RA
        (exists (?P1 ?C ?P2 ?V ?O ?FSE)
            (and
                (instance ?P1 Pushing)
                (instance ?C Cam)
                (instance ?P2 Pushing)
                (instance ?V Valve)
                (instance ?O Opening)
                (instance ?FSE FourStrokeEngine)
                (part ?RA ?FSE)
                (part ?C ?FSE)
                (part ?V ?FSE)
                (instrument ?P1 ?C)
                (destination ?P1 ?RA)
                (instrument ?P2 ?RA)
                (destination ?P2 ?V)
                (causes ?P1 ?P2)
                (causes ?P2 ?O)
                (patient ?O ?V)))))		 Cars.kif 3713-3733 If X is an instance of rocker arm, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of pushing (3) Z is an instance of cam (4) W is an instance of pushing (5) V is an instance of valve (6) U is an instance of opening (7) T is an instance of four stroke engine (8) X is a part of T (9) Z is a part of T (10) V is a part of T (11) Z is an instrument for Y (12) Y ends up at X (13) X is an instrument for W (14) W ends up at V (15) Y causes W (16) W causes U (17) V is a patient of 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners