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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TwoStrokeEngine

Sigma KEE - TwoStrokeEngine
TwoStrokeEngine

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


(documentation TwoStrokeEngine EnglishLanguage "Engines based on the two-stroke cycle use two strokes (one up, one down) for every power stroke. Since there are no dedicated intake or exhaust strokes, alternative methods must be used to scavenge the cylinders. The most common method in spark-ignition two-strokes is to use the downward motion of the piston to pressurize fresh charge in the Crankcase, which is then blown through the Cylinder through ports in the cylinder walls. [from Wikipedia]") Cars.kif 242-249
(subclass TwoStrokeEngine IntermittentCombustionEngine) Cars.kif 240-240

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


(subclass SeagullOutboard TwoStrokeEngine) Cars.kif 4736-4736
(termFormat EnglishLanguage TwoStrokeEngine "two stroke engine") Cars.kif 241-241

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


(=>
    (and
        (instance ?TSC TwoStrokeCompression)
        (eventLocated ?TSC ?E)
        (instance ?E TwoStrokeEngine))
    (exists (?C)
        (and
            (instance ?C Explosion)
            (during ?C ?TSC)
            (eventLocated ?C ?E))))
Cars.kif 491-500

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


(=>
    (instance ?F TwoStrokeEngineCycle)
    (exists (?E)
        (and
            (instance ?E TwoStrokeEngine)
            (eventLocated ?F ?E))))
Cars.kif 257-262


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 is open source software produced by Articulate Software and its partners