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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternalCombustionEngine
InternalCombustionEngine

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


(documentation InternalCombustionEngine EnglishLanguage "InternalCombustionEngine is the subclass of Engines in which a heat reaction that occurs inside the engine is transformed into mechanical energy.") Mid-level-ontology.kif 2174-2176
(documentation InternalCombustionEngine EnglishLanguage "The internal combustion engine is an engine in which the combustion of a fuel (normally a fossil fuel) occurs with an oxidizer (usually air) in a combustion chamber. In an internal combustion engine, the expansion of the high-temperature and high -pressure gases produced by combustion apply direct force to some component of the engine. This force is applied typically to pistons, turbine blades, or a nozzle. This force moves the component over a distance, transforming chemical energy into useful mechanical energy. The term internal combustion engine usually refers to an engine in which combustion is intermittent, such as the more familiar four-stroke and two-stroke piston engines, along with variants, such as the six-stroke piston engine and the Wankel rotary engine. A second class of internal combustion engines use continuous combustion: gas turbines, jet engines and most rocket engines, each of which are internal combustion engines on the same principle as previously described. The internal combustion engine (or ICE) is quite different from external combustion engines, such as steam or Stirling engines, in which the energy is delivered to a working fluid not consisting of, mixed with, or contaminated by combustion products. [from Wikipedia]") Cars.kif 27-45
(externalImage InternalCombustionEngine "http://upload.wikimedia.org/wikipedia/ commons/ b/ b9/ 1998ChevroletCamaroZ28-engine.jpg") pictureList.kif 4977-4977 externalImage InternalCombustionEngine and "http://upload.wikimedia.org/wikipedia/commons/b/b9/ 1998ChevroletCamaroZ28-engine.jpg"
(externalImage InternalCombustionEngine "http://upload.wikimedia.org/wikipedia/ commons/ b/ ba/ Colorized_car_engine.jpg") pictureList.kif 4978-4978 externalImage InternalCombustionEngine and "http://upload.wikimedia.org/wikipedia/commons/b/ba/ Colorized_car_engine.jpg"
(externalImage InternalCombustionEngine "http://upload.wikimedia.org/wikipedia/ commons/ f/ f7/ Four_stroke_cycle_compression.jpg") pictureList.kif 4976-4976 externalImage InternalCombustionEngine and "http://upload.wikimedia.org/wikipedia/commons/f/f7/ Four_stroke_cycle_compression.jpg"
(subclass InternalCombustionEngine Engine) Mid-level-ontology.kif 2173-2173 subclass InternalCombustionEngine and Engine

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


(subclass ContinuousCombustionEngine InternalCombustionEngine) Cars.kif 85-85 subclass ContinuousCombustionEngine and InternalCombustionEngine
(subclass DieselEngine InternalCombustionEngine) Mid-level-ontology.kif 21524-21524 subclass DieselEngine and InternalCombustionEngine
(subclass GasolineEngine InternalCombustionEngine) Mid-level-ontology.kif 21514-21514 subclass GasolineEngine and InternalCombustionEngine
(subclass IntermittentCombustionEngine InternalCombustionEngine) Cars.kif 91-91 subclass IntermittentCombustionEngine and InternalCombustionEngine
(subclass Turbine InternalCombustionEngine) Cars.kif 90-90 subclass Turbine and InternalCombustionEngine
(termFormat ChineseLanguage InternalCombustionEngine "内燃机") domainEnglishFormat.kif 30373-30373 termFormat ChineseLanguage, InternalCombustionEngine and "内燃机"
(termFormat ChineseTraditionalLanguage InternalCombustionEngine "內燃機") domainEnglishFormat.kif 30372-30372 termFormat ChineseTraditionalLanguage, InternalCombustionEngine and "內燃機"
(termFormat EnglishLanguage InternalCombustionEngine "internal combustion engine") domainEnglishFormat.kif 30371-30371 termFormat EnglishLanguage, InternalCombustionEngine and "internal combustion engine"
(typicalPart OilPan InternalCombustionEngine) Cars.kif 3294-3294 typicalPart OilPan and InternalCombustionEngine
(typicallyContainsPart OilPan InternalCombustionEngine) Cars.kif 3295-3295 typicallyContainsPart OilPan and InternalCombustionEngine

appearance as argument number 3
-------------------------


(domain engineIdleSpeed 1 InternalCombustionEngine) Cars.kif 2544-2544 domain engineIdleSpeed, 1 and InternalCombustionEngine

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


(=>
    (and
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (instance ?F Fuel)
        (instance ?M UnitOfVolume)
        (holdsDuring ?T
            (and
                (contains ?CC ?F)
                (measure ?F
                    (MeasureFn ?N1 ?M))
                (attribute ?E EngineFlooded))))
    (hasPurpose ?CC
        (not
            (exists (?F2)
                (and
                    (instance ?F2 Fuel)
                    (contains ?CC ?F2)
                    (measure ?F2
                        (MeasureFn ?N2 ?M))
                    (greaterThanOrEqualTo ?N2 ?N1))))))
Cars.kif 2795-2814
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (eventLocated ?EC ?E)
        (holdsDuring
            (WhenFn ?EC)
            (maxCylinderVolume ?E ?V1)))
    (not
        (exists (?V2 ?T)
            (and
                (during ?T
                    (WhenFn ?EC))
                (holdsDuring ?T
                    (measure ?CC ?V2))
                (greaterThan ?V2 ?V1)))))
Cars.kif 1890-1906
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (eventLocated ?EC ?E)
        (holdsDuring
            (WhenFn ?EC)
            (minCylinderVolume ?E ?V1)))
    (not
        (exists (?V2 ?T)
            (and
                (during ?T
                    (WhenFn ?EC))
                (holdsDuring ?T
                    (measure ?CC ?V2))
                (greaterThan ?V1 ?V2)))))
Cars.kif 1863-1879
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?P Piston)
        (part ?P ?E)
        (patient ?EC ?P)
        (eventLocated ?EC ?E)
        (pistonStroke ?E ?LM))
    (not
        (exists (?T1 ?T2 ?L1 ?L2 ?D)
            (and
                (during ?T1
                    (WhenFn ?EC))
                (during ?T2
                    (WhenFn ?EC))
                (holdsDuring ?T1
                    (located ?P ?L1))
                (holdsDuring ?T2
                    (located ?P ?L2))
                (distance ?L1 ?L2 ?D)
                (greaterThan ?D ?LM)))))
Cars.kif 1932-1951
(=>
    (instance ?I InternalCombustionEngine)
    (hasPurpose ?I
        (exists (?C ?M ?P)
            (and
                (instance ?C Combustion)
                (instance ?M Motion)
                (part ?P ?I)
                (patient ?M ?P)))))
Cars.kif 57-65
(=>
    (instance ?I InternalCombustionEngine)
    (hasPurpose ?I
        (exists (?F ?C)
            (and
                (instance ?F Fuel)
                (instance ?C Combustion)
                (instrument ?C ?I)
                (resource ?C ?F)))))
Cars.kif 47-55
(=>
    (instance ?R
        (OperatingFn InternalCombustionEngine))
    (exists (?E ?C ?F)
        (and
            (instance ?E InternalCombustionEngine)
            (instrument ?R ?E)
            (hole ?C ?E)
            (instance ?F Combustion)
            (completelyFills ?F ?C))))
Mid-level-ontology.kif 2178-2186

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


(=>
    (instance ?EC EngineCranking)
    (exists (?EM ?E ?S ?R1 ?C ?R2)
        (and
            (instance ?EM ElectricalMotor)
            (instance ?E InternalCombustionEngine)
            (instance ?S Shaft)
            (instance ?C Crankshaft)
            (part ?S ?EM)
            (subProcess ?R1 ?EC)
            (instance ?R1 Rotating)
            (patient ?R ?S)
            (instance ?R2 Rotating)
            (patient ?R2 ?C)
            (part ?C ?E)
            (causes ?R1 ?R2))))
Cars.kif 2201-2216
(=>
    (instance ?EF EngineFan)
    (hasPurpose ?EF
        (exists (?C ?E ?A)
            (and
                (instance ?A Automobile)
                (instance ?C Cooling)
                (instance ?E InternalCombustionEngine)
                (part ?E ?A)
                (part ?EF ?A)
                (instrument ?C ?EF)
                (patient ?C ?E)))))
Cars.kif 2736-2747
(=>
    (instance ?R
        (OperatingFn InternalCombustionEngine))
    (exists (?E ?C ?F)
        (and
            (instance ?E InternalCombustionEngine)
            (instrument ?R ?E)
            (hole ?C ?E)
            (instance ?F Combustion)
            (completelyFills ?F ?C))))
Mid-level-ontology.kif 2178-2186
(=>
    (instance ?SM StarterMotor)
    (hasPurpose ?SM
        (exists (?P1 ?P2 ?ICE)
            (and
                (instance ?ICE InternalCombustionEngine)
                (instrument ?P1 ?SM)
                (instrument ?P2 ?ICE)
                (causes ?P1 ?P2)))))
Cars.kif 3925-3933


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners