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 1761-1763
(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 1760-1760 内燃机发动机subclass

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


(subclass ContinuousCombustionEngine InternalCombustionEngine) Cars.kif 85-85 ContinuousCombustionEngine内燃机subclass
(subclass DieselEngine InternalCombustionEngine) Mid-level-ontology.kif 23611-23611 柴油发动机内燃机subclass
(subclass GasolineEngine InternalCombustionEngine) Mid-level-ontology.kif 23600-23600 汽油发动机内燃机subclass
(subclass IntermittentCombustionEngine InternalCombustionEngine) Cars.kif 91-91 IntermittentCombustionEngine内燃机subclass
(subclass Turbine InternalCombustionEngine) Cars.kif 90-90 涡轮内燃机subclass
(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 3320-3320 OilPan typically内燃机part
(typicallyContainsPart OilPan InternalCombustionEngine) Cars.kif 3321-3321 内燃机 typicallypart OilPan

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


(domain engineIdleSpeed 1 InternalCombustionEngine) Cars.kif 2558-2558 engineIdleSpeed 的 1 数量 是 内燃机instance

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 2811-2830
(=>
    (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 1898-1917
(=>
    (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 1868-1887
(=>
    (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 1943-1965
(=>
    (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 1765-1773

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 2215-2230
(=>
    (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 2752-2763
(=>
    (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 1765-1773
(=>
    (instance ?SM StarterMotor)
    (hasPurpose ?SM
        (exists (?P1 ?P2 ?ICE)
            (and
                (instance ?ICE InternalCombustionEngine)
                (instrument ?P1 ?SM)
                (instrument ?P2 ?ICE)
                (causes ?P1 ?P2)))))
Cars.kif 3953-3961


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