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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - FourStrokeCompression
FourStrokeCompression

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


(documentation FourStrokeCompression EnglishLanguage "In this cycle of a four stroke engine, fuel vapor and air are compressed and ignited.") Cars.kif 188-189
(subclass FourStrokeCompression Motion) Cars.kif 186-186 FourStrokeCompression est une sous-classe de d�palcement

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


(termFormat EnglishLanguage FourStrokeCompression "four stroke compression") Cars.kif 187-187

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


(=>
    (and
        (instance ?EC EngineChoke)
        (holdsDuring ?FSC1
            (attribute ?EC DeviceOn))
        (holdsDuring ?FSC2
            (attribute ?EC DeviceOff))
        (instance ?C EngineCylinder)
        (capacity ?C ?M)
        (instance ?FSC1 FourStrokeCompression)
        (instance ?FSC2 FourStrokeCompression)
        (eventLocated ?FSC1 ?C)
        (eventLocated ?FSC2 ?C)
        (instance ?A1 Air)
        (instance ?F1 Fuel)
        (part ?A1 ?MIX1)
        (part ?F1 ?MIX1)
        (measure ?MIX1 ?M)
        (instance ?A2 Air)
        (instance ?F2 Fuel)
        (part ?A2 ?MIX2)
        (part ?F2 ?MIX2)
        (measure ?MIX2 ?M)
        (instance ?U UnitOfMeasure)
        (measure ?A1
            (MeasureFn ?A1M ?U))
        (measure ?A2
            (MeasureFn ?A2M ?U))
        (measure ?F1
            (MeasureFn ?F1M ?U))
        (measure ?F2
            (MeasureFn ?F2M ?U)))
    (greaterThan
        (DivisionFn ?A2M ?F2M)
        (DivisionFn ?A1M ?F1M)))		 Cars.kif 1314-1348
(=>
    (and
        (instance ?F FourStrokeCompression)
        (instance ?C EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (equal ?C
            (HoleHostFn ?I))
        (eventLocated ?F ?C))
    (holdsDuring
        (EndFn
            (WhenFn ?F))
        (attribute ?I Pressurized)))		 Cars.kif 191-200

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 full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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