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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TwoStrokeCompression

Sigma KEE - TwoStrokeCompression
TwoStrokeCompression(two stroke compression)

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


(documentation TwoStrokeCompression EnglishLanguage "The portion of a two stroke engine cycle where combustion occurs, forcing the piston out of the combustion chamber, and the fuel mixture is compressed in the crankcase.") Cars.kif 487-489
(subclass TwoStrokeCompression Motion) Cars.kif 485-485 Two stroke compression is a subclass of motion

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


(termFormat EnglishLanguage TwoStrokeCompression "two stroke compression") Cars.kif 486-486

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 ?T TwoStrokeEngineCycle)
    (exists (?I ?C ?TT ?I2)
        (and
            (instance ?I TwoStrokeIntake)
            (instance ?C TwoStrokeCompression)
            (instance ?TT TwoStrokeTransfer)
            (instance ?I2 TwoStrokeIntake)
            (subProcess ?I ?T)
            (subProcess ?C ?T)
            (subProcess ?TT ?T)
            (subProcess ?I2 ?T)
            (meetsTemporally ?I ?C)
            (meetsTemporally ?C ?TT)
            (meetsTemporally ?TT ?I2))))
Cars.kif 264-278


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