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

Formal Language: 



KB Term:  Term intersection
English Word: 

  TwoStrokeIntake

Sigma KEE - TwoStrokeIntake
TwoStrokeIntake(two stroke intake)

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 Two stroke intake is a subclass of motion

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


(termFormat EnglishLanguage TwoStrokeIntake "two stroke intake") 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
(=>
    (and
        (instance ?TSI TwoStrokeIntake)
        (instance ?C Crankcase)
        (eventPartlyLocated ?TSI ?C))
    (holdsDuring ?TSI
        (attribute ?C PartialVacuum)))
Cars.kif 477-483

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