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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EngineCylinder
EngineCylinder(engine cylinder)cylinder, piston_chamber

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


(documentation EngineCylinder EnglishLanguage "A single cylinder of an Engine block and its associated components.") Cars.kif 308-309
(subclass EngineCylinder Artifact) Cars.kif 307-307 Engine cylinder is a subclass of artifact

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


(termFormat EnglishLanguage EngineCylinder "engine cylinder") domainEnglishFormat.kif 64980-64980
(typicalPart Piston EngineCylinder) Cars.kif 344-344 A piston is typically a part of a engine cylinder
(typicallyContainsPart Piston EngineCylinder) Cars.kif 345-345 A engine cylinder typically has a part piston

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 ?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 ?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 FourStrokeCombustion)
        (instance ?C EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (equal ?C
            (HoleHostFn ?I))
        (eventLocated ?F ?C))
    (exists (?CO)
        (and
            (instance ?CO Combustion)
            (subProcess ?CO ?F))))
Cars.kif 207-217
(=>
    (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
(=>
    (and
        (instance ?F FourStrokeExhaust)
        (instance ?C EngineCylinder)
        (instance ?I InternalCombustionChamber)
        (equal ?C
            (HoleHostFn ?I))
        (eventLocated ?F ?C))
    (exists (?E ?M)
        (and
            (instance ?M GasMotion)
            (instance ?E Exhaust)
            (subProcess ?M ?F)
            (origin ?M ?I)
            (patient ?M ?E))))
Cars.kif 225-238
(=>
    (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
(=>
    (and
        (instance ?FP FuelPump)
        (instance ?A Automobile)
        (part ?FP ?A)
        (instance ?T Transportation)
        (instance ?F Fuel)
        (patient ?T ?F)
        (instrument ?F ?FP)
        (instance ?GT GasTank)
        (part ?GT ?A)
        (instance ?EC EngineCylinder)
        (part ?EC ?A)
        (origin ?T ?GT)
        (destination ?T ?EC)
        (path ?T ?P))
    (hasPurpose ?T
        (exists (?FF)
            (and
                (instance ?FF FuelFilter)
                (betweenOnPath ?GT ?FF ?EC ?P)))))
Cars.kif 1070-1090
(=>
    (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
(=>
    (instance ?E EngineCylinder)
    (exists (?H)
        (and
            (instance ?H InternalCombustionChamber)
            (equal ?E
                (HoleHostFn ?H)))))
Cars.kif 317-322

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


(=>
    (and
        (instance ?FP FuelPump)
        (instance ?A Automobile)
        (part ?FP ?A)
        (instance ?T Transportation)
        (instance ?F Fuel)
        (patient ?T ?F)
        (instrument ?F ?FP))
    (hasPurpose ?FP
        (exists (?GT ?EC)
            (and
                (instance ?GT GasTank)
                (part ?GT ?A)
                (instance ?EC EngineCylinder)
                (part ?EC ?A)
                (origin ?T ?GT)
                (destination ?T ?EC)))))
Cars.kif 1051-1068
(=>
    (engineCylinders ?E ?N)
    (exists (?G ?EC)
        (and
            (instance ?G Collection)
            (memberTypeCount ?G EngineCylinder ?N)
            (member ?EC ?G)
            (part ?EC ?E))))
Cars.kif 4531-4538
(=>
    (instance ?B Backfire)
    (exists (?E ?NC)
        (and
            (not
                (instance ?NC EngineCylinder))
            (instance ?E Engine)
            (part ?NC ?E)
            (eventLocated ?B ?NC))))
Cars.kif 1354-1362
(=>
    (instance ?EM ExhaustManifold)
    (hasPurpose ?EM
        (exists (?A ?E ?C ?M ?T)
            (and
                (instance ?A Automobile)
                (instance ?E Exhaust)
                (instance ?C EngineCylinder)
                (instance ?M AutomobileMuffler)
                (instance ?T Transfer)
                (part ?EM ?A)
                (part ?C ?A)
                (part ?M ?A)
                (origin ?T ?C)
                (destination ?T ?M)
                (patient ?T ?E)
                (instrument ?T ?E)))))
Cars.kif 2629-2645
(=>
    (instance ?FSE FourStrokeEngine)
    (exists (?C)
        (and
            (instance ?C EngineCylinder)
            (part ?C ?FSE))))
Cars.kif 107-112


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