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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - TwoStrokeTransfer
TwoStrokeTransfer

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


(documentation TwoStrokeTransfer EnglishLanguage "The portion of a two stroke engine cycle where the combustion chamber is opened to the crankcase and the exhaust. This allows the exhaust to vent, and the pressurized fuel mixture to enter the combustion chamber. The piston is most fully removed from the combustion chamber at this point.") Cars.kif 504-507
(subclass TwoStrokeTransfer Motion) Cars.kif 502-502 subclass TwoStrokeTransfer and Motion

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


(termFormat EnglishLanguage TwoStrokeTransfer "two stroke transfer") Cars.kif 503-503 termFormat EnglishLanguage, TwoStrokeTransfer and "two stroke transfer"

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


(=>
    (and
        (instance ?E EngineCylinder)
        (instance ?C Crankcase)
        (instance ?P Piston)
        (instance ?T TwoStrokeTransfer)
        (holdsDuring ?T
            (located ?P ?E))
        (equal ?E
            (HoleHostFn ?C))
        (eventLocated ?T ?E))
    (hasPurpose ?P
        (holdsDuring ?T
            (partiallyFills ?P ?C))))
Cars.kif 509-521
(=>
    (and
        (instance ?T TwoStrokeTransfer)
        (instance ?C EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (equal ?C
            (HoleHostFn ?I))
        (eventLocated ?T ?C))
    (exists (?E ?M)
        (and
            (instance ?M GasMotion)
            (instance ?E Exhaust)
            (subProcess ?M ?T)
            (origin ?M ?I)
            (patient ?M ?E))))
Cars.kif 523-536

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