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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TwoStrokeTransfer

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

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


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

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