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

Formal Language: 



KB Term:  Term intersection
English Word: 

  InternalCombustionEngine

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 1754-1756
(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 4976-4976
(externalImage InternalCombustionEngine "http://upload.wikimedia.org/wikipedia/ commons/ b/ ba/ Colorized_car_engine.jpg") pictureList.kif 4977-4977
(externalImage InternalCombustionEngine "http://upload.wikimedia.org/wikipedia/ commons/ f/ f7/ Four_stroke_cycle_compression.jpg") pictureList.kif 4975-4975
(subclass InternalCombustionEngine Engine) Mid-level-ontology.kif 1753-1753 InternalCombustionEngine e' uma sub-classe de Engine

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


(subclass ContinuousCombustionEngine InternalCombustionEngine) Cars.kif 85-85 ContinuousCombustionEngine e' uma sub-classe de InternalCombustionEngine
(subclass DieselEngine InternalCombustionEngine) Mid-level-ontology.kif 23663-23663 DieselEngine e' uma sub-classe de InternalCombustionEngine
(subclass GasolineEngine InternalCombustionEngine) Mid-level-ontology.kif 23652-23652 GasolineEngine e' uma sub-classe de InternalCombustionEngine
(subclass IntermittentCombustionEngine InternalCombustionEngine) Cars.kif 91-91 IntermittentCombustionEngine e' uma sub-classe de InternalCombustionEngine
(subclass Turbine InternalCombustionEngine) Cars.kif 90-90 Turbine e' uma sub-classe de InternalCombustionEngine
(termFormat ChineseLanguage InternalCombustionEngine "内燃机") domainEnglishFormat.kif 30469-30469
(termFormat ChineseTraditionalLanguage InternalCombustionEngine "內燃機") domainEnglishFormat.kif 30468-30468
(termFormat EnglishLanguage InternalCombustionEngine "internal combustion engine") domainEnglishFormat.kif 30467-30467
(typicalPart OilPan InternalCombustionEngine) Cars.kif 3305-3305 typicalPart OilPan and InternalCombustionEngine
(typicallyContainsPart OilPan InternalCombustionEngine) Cars.kif 3306-3306 typicallyContainsPart OilPan and InternalCombustionEngine

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


(domain engineIdleSpeed 1 InternalCombustionEngine) Cars.kif 2541-2541 O argumento numero 1 de engineIdleSpeed e' uma instancia de 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 ?N2)
                (and
                    (instance ?F2 Fuel)
                    (contains ?CC ?F2)
                    (measure ?F2
                        (MeasureFn ?N2 ?M))
                    (greaterThanOrEqualTo ?N2 ?N1))))))
Cars.kif 2794-2813
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (eventLocated ?EC ?E)
        (instance ?U UnitOfVolume)
        (holdsDuring
            (WhenFn ?EC)
            (maxCylinderVolume ?E
                (MeasureFn ?V1 ?U))))
    (not
        (exists (?V2 ?T)
            (and
                (during ?T
                    (WhenFn ?EC))
                (holdsDuring ?T
                    (measure ?CC
                        (MeasureFn ?V2 ?U)))
                (greaterThan ?V2 ?V1)))))
Cars.kif 1881-1900
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?CC CombustionChamber)
        (part ?CC ?E)
        (eventLocated ?EC ?E)
        (instance ?U UnitOfVolume)
        (holdsDuring
            (WhenFn ?EC)
            (minCylinderVolume ?E
                (MeasureFn ?V1 ?U))))
    (not
        (exists (?V2 ?T)
            (and
                (during ?T
                    (WhenFn ?EC))
                (holdsDuring ?T
                    (measure ?CC
                        (MeasureFn ?V2 ?U)))
                (greaterThan ?V1 ?V2)))))
Cars.kif 1851-1870
(=>
    (and
        (instance ?EC EngineCycle)
        (instance ?E InternalCombustionEngine)
        (instance ?P Piston)
        (instance ?U UnitOfLength)
        (part ?P ?E)
        (patient ?EC ?P)
        (eventLocated ?EC ?E)
        (pistonStroke ?E
            (MeasureFn ?LM ?U)))
    (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
                    (MeasureFn ?D ?U))
                (greaterThan ?D ?LM)))))
Cars.kif 1926-1948
(=>
    (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 1758-1766

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 ?R1 ?S)
            (instance ?R2 Rotating)
            (patient ?R2 ?C)
            (part ?C ?E)
            (causes ?R1 ?R2))))
Cars.kif 2198-2213
(=>
    (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 2735-2746
(=>
    (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 1758-1766
(=>
    (instance ?SM StarterMotor)
    (hasPurpose ?SM
        (exists (?P1 ?P2 ?ICE)
            (and
                (instance ?ICE InternalCombustionEngine)
                (instrument ?P1 ?SM)
                (instrument ?P2 ?ICE)
                (causes ?P1 ?P2)))))
Cars.kif 3938-3946


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