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 TwoStrokeCompression è una sottoclasse di Movimento

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