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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TwoStrokeCompression
TwoStrokeCompression

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 subclass TwoStrokeCompression and Motion

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


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

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 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