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 2224-2226
(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 4975-4975
(externalImage InternalCombustionEngine "http://upload.wikimedia.org/wikipedia/ commons/ b/ ba/ Colorized_car_engine.jpg") pictureList.kif 4976-4976
(externalImage InternalCombustionEngine "http://upload.wikimedia.org/wikipedia/ commons/ f/ f7/ Four_stroke_cycle_compression.jpg") pictureList.kif 4974-4974
(subclass InternalCombustionEngine Engine) Mid-level-ontology.kif 2223-2223 InternalCombustionEngineEnginesubclass では

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


(subclass ContinuousCombustionEngine InternalCombustionEngine) Cars.kif 85-85 ContinuousCombustionEngineInternalCombustionEnginesubclass では
(subclass DieselEngine InternalCombustionEngine) Mid-level-ontology.kif 25252-25252 DieselEngineInternalCombustionEnginesubclass では
(subclass GasolineEngine InternalCombustionEngine) Mid-level-ontology.kif 25241-25241 GasolineEngineInternalCombustionEnginesubclass では
(subclass IntermittentCombustionEngine InternalCombustionEngine) Cars.kif 91-91 IntermittentCombustionEngineInternalCombustionEnginesubclass では
(subclass Turbine InternalCombustionEngine) Cars.kif 90-90 TurbineInternalCombustionEnginesubclass では
(termFormat ChineseLanguage InternalCombustionEngine "内燃机") domainEnglishFormat.kif 30480-30480 TurbineInternalCombustionEnginesubclass では
(termFormat ChineseTraditionalLanguage InternalCombustionEngine "內燃機") domainEnglishFormat.kif 30479-30479 TurbineInternalCombustionEnginesubclass では
(termFormat EnglishLanguage InternalCombustionEngine "internal combustion engine") domainEnglishFormat.kif 30478-30478 TurbineInternalCombustionEnginesubclass では
(typicalPart OilPan InternalCombustionEngine) Cars.kif 3381-3381 typicalPart OilPan and InternalCombustionEngine
(typicallyContainsPart OilPan InternalCombustionEngine) Cars.kif 3382-3382 typicallyContainsPart OilPan and InternalCombustionEngine

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


(domain engineIdleSpeed 1 InternalCombustionEngine) Cars.kif 2542-2542 engineIdleSpeed の数値 1 引数は InternalCombustionEngineinstance では

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 2795-2814
(=>
    (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 1882-1901
(=>
    (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 1852-1871
(=>
    (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 1927-1949
(=>
    (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 2228-2236

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 2199-2214
(=>
    (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 2228-2236
(=>
    (instance ?SM StarterMotor)
    (hasPurpose ?SM
        (exists (?P1 ?P2 ?ICE)
            (and
                (instance ?ICE InternalCombustionEngine)
                (instrument ?P1 ?SM)
                (instrument ?P2 ?ICE)
                (causes ?P1 ?P2)))))
Cars.kif 4014-4022


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