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

Formal Language: 

KB Term:  Term intersection
English Word: 


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

appearance as argument number 2

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


        (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
        (instance ?T TwoStrokeTransfer)
        (instance ?C EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (equal ?C
            (HoleHostFn ?I))
        (eventLocated ?T ?C))
    (exists (?E ?M)
            (instance ?M GasMotion)
            (instance ?E Exhaust)
            (subProcess ?M ?T)
            (origin ?M ?I)
            (patient ?M ?E))))
Cars.kif 523-536


    (instance ?T TwoStrokeEngineCycle)
    (exists (?I ?C ?TT ?I2)
            (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