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

Formal Language: 



KB Term:  Term intersection
English Word: 

  FourStrokeIntake

Sigma KEE - FourStrokeIntake
FourStrokeIntake

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


(documentation FourStrokeIntake EnglishLanguage "In this cycle of a four stroke engine, air and vaporized fuel are drawn in.") Cars.kif 168-169
(subclass FourStrokeIntake Motion) Cars.kif 166-166 FourStrokeIntake运动subclass

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


(termFormat EnglishLanguage FourStrokeIntake "four stroke intake") Cars.kif 167-167

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


(=>
    (and
        (instance ?F FourStrokeIntake)
        (instance ?C EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (equal ?C
            (HoleHostFn ?I))
        (eventLocated ?F ?C))
    (exists (?FV ?M)
        (and
            (instance ?M GasMotion)
            (instance ?FV FuelVapor)
            (subProcess ?M ?F)
            (destination ?M ?I)
            (patient ?M ?FV))))
Cars.kif 171-184

consequent
-------------------------


(=>
    (instance ?FSE FourStrokeEngine)
    (hasPurpose ?FSE
        (exists (?I ?CM ?CB ?E ?I2)
            (and
                (instance ?I FourStrokeIntake)
                (instance ?CM FourStrokeCompression)
                (instance ?CB FourStrokeCombustion)
                (instance ?E FourStrokeExhaust)
                (instance ?I2 FourStrokeIntake)
                (eventLocated ?I ?FSE)
                (eventLocated ?CM ?FSE)
                (eventLocated ?CB ?FSE)
                (eventLocated ?E ?FSE)
                (eventLocated ?I2 ?FSE)
                (meetsTemporally ?I ?CM)
                (meetsTemporally ?CM ?CB)
                (meetsTemporally ?CB ?E)
                (meetsTemporally ?E ?I2)))))
Cars.kif 114-132
(=>
    (instance ?FSE FourStrokeEngineCycle)
    (exists (?I ?CM ?CB ?E ?I2)
        (and
            (instance ?I FourStrokeIntake)
            (instance ?CM FourStrokeCompression)
            (instance ?CB FourStrokeCombustion)
            (instance ?E FourStrokeExhaust)
            (instance ?I2 FourStrokeIntake)
            (subProcess ?I ?FSE)
            (subProcess ?CM ?FSE)
            (subProcess ?CB ?FSE)
            (subProcess ?E ?FSE)
            (subProcess ?I2 ?FSE)
            (meetsTemporally ?I ?CM)
            (meetsTemporally ?CM ?CB)
            (meetsTemporally ?CB ?E)
            (meetsTemporally ?E ?I2))))
Cars.kif 147-164


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