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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - InternalCombustionEngine
InternalCombustionEngine(internal combustion engine)
ICE, gas_engine, internal-combustion_engine, reciprocating_engine, rotary_engine

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


s__documentation(s__InternalCombustionEngine,s__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 1699-1701
s__documentation(s__InternalCombustionEngine,s__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
s__externalImage(s__InternalCombustionEngine,'"http://upload.wikimedia.org/wikipedia/ commons/ b/ b9/ 1998ChevroletCamaroZ28-engine.jpg"')

pictureList.kif 4977-4977
s__externalImage(s__InternalCombustionEngine,'"http://upload.wikimedia.org/wikipedia/ commons/ b/ ba/ Colorized_car_engine.jpg"')

pictureList.kif 4978-4978
s__externalImage(s__InternalCombustionEngine,'"http://upload.wikimedia.org/wikipedia/ commons/ f/ f7/ Four_stroke_cycle_compression.jpg"')

pictureList.kif 4976-4976
s__instance(s__InternalCombustionEngine,s__Class)

s__subclass(s__InternalCombustionEngine,s__Engine)

s__instance(s__Engine,s__Class)

Mid-level-ontology.kif 1698-1698 Internal combustion engine is a subclass of engine

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


s__instance(s__ContinuousCombustionEngine,s__Class)

s__subclass(s__ContinuousCombustionEngine,s__InternalCombustionEngine)

s__instance(s__InternalCombustionEngine,s__Class)

Cars.kif 85-85 ContinuousCombustionEngine is a subclass of internal combustion engine
s__subclass(s__DieselEngine,s__InternalCombustionEngine)

s__instance(s__InternalCombustionEngine,s__Class)

s__instance(s__DieselEngine,s__Class)

Mid-level-ontology.kif 22888-22888 Diesel engine is a subclass of internal combustion engine
s__subclass(s__GasolineEngine,s__InternalCombustionEngine)

s__instance(s__InternalCombustionEngine,s__Class)

s__instance(s__GasolineEngine,s__Class)

Mid-level-ontology.kif 22877-22877 Gasoline engine is a subclass of internal combustion engine
s__instance(s__IntermittentCombustionEngine,s__Class)

s__instance(s__InternalCombustionEngine,s__Class)

s__subclass(s__IntermittentCombustionEngine,s__InternalCombustionEngine)

Cars.kif 91-91 IntermittentCombustionEngine is a subclass of internal combustion engine
s__instance(s__InternalCombustionEngine,s__Class)

s__subclass(s__Turbine,s__InternalCombustionEngine)

s__instance(s__Turbine,s__Class)

Cars.kif 90-90 Turbine is a subclass of internal combustion engine
s__termFormat(s__ChineseLanguage,s__InternalCombustionEngine,'"内燃机"')

domainEnglishFormat.kif 30456-30456
s__termFormat(s__ChineseTraditionalLanguage,s__InternalCombustionEngine,'"內燃機"')

domainEnglishFormat.kif 30455-30455
s__termFormat(s__EnglishLanguage,s__InternalCombustionEngine,'"internal combustion engine"')

domainEnglishFormat.kif 30454-30454
s__typicalPart(s__OilPan,s__InternalCombustionEngine)

Cars.kif 3320-3320 A oil pan is typically a part of a internal combustion engine
s__typicallyContainsPart(s__OilPan,s__InternalCombustionEngine)

Cars.kif 3321-3321 A internal combustion engine typically has a part oil pan

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


s__domain(s__engineIdleSpeed__m,n__1,s__InternalCombustionEngine)

Cars.kif 2558-2558 The number 1 argument of engineIdleSpeed is an instance of internal combustion engine

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2811-2830
No TPTP formula. May not be expressible in strict first order. Cars.kif 1898-1917
No TPTP formula. May not be expressible in strict first order. Cars.kif 1868-1887
No TPTP formula. May not be expressible in strict first order. Cars.kif 1943-1965
No TPTP formula. May not be expressible in strict first order. Cars.kif 57-65
No TPTP formula. May not be expressible in strict first order. Cars.kif 47-55
( ! [V__R] :
   ((s__instance(V__R,s__Process) =>
       ((s__instance(V__R,s__OperatingFn(s__InternalCombustionEngine))
         =>
         (( ? [V__E, V__C, V__F] :
             ((s__instance(V__C,s__Hole) &
                 (s__instance(V__E,s__InternalCombustionEngine) &
                   s__instrument(V__R,V__E)
                 &
                 s__hole(V__C,V__E)
               &
               s__instance(V__F,s__Combustion) &
               s__completelyFills(V__F,V__C)))))))))
)
)

Mid-level-ontology.kif 1703-1711

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


( ! [V__R,V__EC] :
   ((s__instance(V__R,s__Process) =>
       ((s__instance(V__EC,s__EngineCranking) =>
           (( ? [V__EM, V__E, V__S, V__R1, V__C, V__R2] :
               ((s__instance(V__EM,s__ElectricalMotor) &
                   s__instance(V__E,s__InternalCombustionEngine) &
                   s__instance(V__S,s__Shaft) &
                   s__instance(V__C,s__Crankshaft) &
                   s__part(V__S,V__EM)
                 &
                 s__subProcess(V__R1,V__EC)
               &
               s__instance(V__R1,s__Rotating) &
               s__patient(V__R,V__S)
             &
             s__instance(V__R2,s__Rotating) &
             s__patient(V__R2,V__C)
           &
           s__part(V__C,V__E)
         &
         s__causes(V__R1,V__R2))))))))
)
)

Cars.kif 2215-2230
No TPTP formula. May not be expressible in strict first order. Cars.kif 2752-2763
( ! [V__R] :
   ((s__instance(V__R,s__Process) =>
       ((s__instance(V__R,s__OperatingFn(s__InternalCombustionEngine))
         =>
         (( ? [V__E, V__C, V__F] :
             ((s__instance(V__C,s__Hole) &
                 (s__instance(V__E,s__InternalCombustionEngine) &
                   s__instrument(V__R,V__E)
                 &
                 s__hole(V__C,V__E)
               &
               s__instance(V__F,s__Combustion) &
               s__completelyFills(V__F,V__C)))))))))
)
)

Mid-level-ontology.kif 1703-1711
No TPTP formula. May not be expressible in strict first order. Cars.kif 3956-3964


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