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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FourStrokeEngine
FourStrokeEngine(four stroke engine)

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


(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 99-105
(externalImage FourStrokeEngine "http://upload.wikimedia.org/wikipedia/commons/ d/ dc/ 4StrokeEngine_Ortho_3D_Small.gif") Cars.kif 97-97
(subclass FourStrokeEngine IntermittentCombustionEngine) Cars.kif 96-96 Four stroke engine is a subclass of IntermittentCombustionEngine

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


(termFormat EnglishLanguage FourStrokeEngine "four stroke engine") Cars.kif 98-98
(typicalPart ExhaustValve FourStrokeEngine) Cars.kif 2647-2647 A exhaust valve is typically a part of a four stroke engine
(typicalPart IntakeValve FourStrokeEngine) Cars.kif 2672-2672 A intake valve is typically a part of a four stroke engine
(typicalPart PositiveCrankcaseVentilationValve FourStrokeEngine) Cars.kif 3789-3789 A positive crankcase ventilation valve is typically a part of a four stroke engine
(typicalPart RockerArm FourStrokeEngine) Cars.kif 3814-3814 A rocker arm is typically a part of a four stroke engine
(typicallyContainsPart ExhaustValve FourStrokeEngine) Cars.kif 2648-2648 A four stroke engine typically has a part exhaust valve
(typicallyContainsPart IntakeValve FourStrokeEngine) Cars.kif 2673-2673 A four stroke engine typically has a part intake valve
(typicallyContainsPart RockerArm FourStrokeEngine) Cars.kif 3815-3815 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 107-112
(=>
    (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

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


(=>
    (instance ?F FourStrokeEngineCycle)
    (exists (?E)
        (and
            (instance ?E FourStrokeEngine)
            (eventLocated ?F ?E))))
Cars.kif 140-145
(=>
    (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 3817-3837


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners