TwoStrokeIntake - Sigma Knowledge base Browser

appearance as argument number 1

(documentation TwoStrokeIntake EnglishLanguage "The portion of a two stroke engine cycle where the piston moves into the combustion chamber creating a partial vacuum in the crankcase that draws fuel into the crankcase.")	Cars.kif 459-461
(subclass TwoStrokeIntake Motion)	Cars.kif 457-457	TwoStrokeIntake è una sottoclasse di Movimento

appearance as argument number 2

Cars.kif 458-458

antecedent

(=> (and (instance ?E EngineCylinder) (instance ?I InternalCombustionChamber) (instance ?P Piston) (instance ?T TwoStrokeIntake) (holdsDuring ?T (located ?P ?E)) (equal ?E (HoleHostFn ?I)) (eventLocated ?T ?E)) (hasPurpose ?P (holdsDuring ?T (partiallyFills ?P ?I))))	Cars.kif 463-475	Oggetto è un' istanza di EngineCylinder apertura è un' istanza di InternalCombustionChamber Entit�Concreta è un' istanza di Piston Processo è un' istanza di TwoStrokeIntake Entit�Concreta è localizzato in Oggetto vales durante Processo Oggetto is uguale a HoleHostFn apertura eventLocated Processo and Oggetto Entit�Concreta ha scopo Entit�Concreta riempie parzialmentes apertura vales durante Processo
(=> (and (instance ?TSI TwoStrokeIntake) (instance ?C Crankcase) (eventPartlyLocated ?TSI ?C)) (holdsDuring ?TSI (attribute ?C PartialVacuum)))	Cars.kif 477-483	Processo è un' istanza di TwoStrokeIntake Oggetto è un' istanza di Crankcase eventPartlyLocated Processo and Oggetto attribute Oggetto and PartialVacuum vales durante Processo

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