InternalCombustionEngine - Sigma Knowledge base Browser

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

(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 1827-1829
(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 1826-1826	Internal combustion engine is a subclass of engine

appearance as argument number 2

(subclass ContinuousCombustionEngine InternalCombustionEngine)	Cars.kif 85-85	Continuous combustion engine is a subclass of internal combustion engine
(subclass DieselEngine InternalCombustionEngine)	Mid-level-ontology.kif 24725-24725	Diesel engine is a subclass of internal combustion engine
(subclass GasolineEngine InternalCombustionEngine)	Mid-level-ontology.kif 24714-24714	Gasoline engine is a subclass of internal combustion engine
(subclass IntermittentCombustionEngine InternalCombustionEngine)	Cars.kif 91-91	Intermittent combustion engine is a subclass of internal combustion engine
(subclass Turbine InternalCombustionEngine)	Cars.kif 90-90	Turbine is a subclass of internal combustion engine
(termFormat ChineseLanguage InternalCombustionEngine "内燃机")	domainEnglishFormat.kif 30497-30497	Turbine is a subclass of internal combustion engine
(termFormat ChineseTraditionalLanguage InternalCombustionEngine "內燃機")	domainEnglishFormat.kif 30496-30496	Turbine is a subclass of internal combustion engine
(termFormat EnglishLanguage InternalCombustionEngine "internal combustion engine")	domainEnglishFormat.kif 30495-30495	Turbine is a subclass of internal combustion engine
(typicalPart OilPan InternalCombustionEngine)	Cars.kif 3381-3381	A oil pan is typically a part of a internal combustion engine
(typicallyContainsPart OilPan InternalCombustionEngine)	Cars.kif 3382-3382	A internal combustion engine typically has a part oil pan

appearance as argument number 3

(domain engineIdleSpeed 1 InternalCombustionEngine)

Cars.kif 2542-2542

The number 1 argument of engine idle speed is an instance of internal combustion engine

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	If an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and an entity is an instance of fuel and another entity is an instance of unit of volume and the other object contains the entity and the measure of the entity is a third entity the other entity(s) and engine flooded is an attribute of the object holds during a time position, then the other object has the purpose there don't exist the entity2 and a fifth entity such that the entity2 is an instance of fuel and the other object contains the entity2 and the measure of the entity2 is the fifth entity the other entity(s) and the fifth entity is greater than or equal to the third entity
(=> (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	If a process is an instance of engine cycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at the object and an entity is an instance of unit of volume and the maximum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the other real number is greater than the real number
(=> (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	If a process is an instance of engine cycle and an object is an instance of internal combustion engine and another object is an instance of combustion chamber and the other object is a part of the object and the process is located at the object and an entity is an instance of unit of volume and the minimum volume of the cylinders in the engine the object is a real number the entity(s) holds during the time of existence of the process, then there don't exist another real number and a time interval such that the time interval takes place during the time of existence of the process and the measure of the other object is the other real number the entity(s) holds during the time interval and the real number is greater than the other real number
(=> (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	If a process is an instance of engine cycle and an engine is an instance of internal combustion engine and an object is an instance of piston and an unit of measure is an instance of unit of length and the object is a part of the engine and the object is a patient of the process and the process is located at the engine and the maximum distance that the pistons of engine the engine travel is a real number the unit of measure(s), then there don't exist a time interval, another time interval,, , a physical,, , another physical and another real number such that the time interval takes place during the time of existence of the process and the other time interval takes place during the time of existence of the process and the object is located at the physical holds during the time interval and the object is located at the other physical holds during the other time interval and the distance between the physical and the other physical is the other real number the unit of measure(s) and the other real number is greater than the real number
(=> (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	If a physical is an instance of internal combustion engine, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of burning and the other entity is an instance of motion and the third entity is a part of the physical and the third entity is a patient of the other entity
(=> (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	If a physical is an instance of internal combustion engine, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of fuel and the other entity is an instance of burning and the physical is an instrument for the other entity and the entity is a resource for the other entity
(=> (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 1831-1839	If a process is an instance of the operating of internal combustion engine, then there exist a self connected object, a hole and an object such that the self connected object is an instance of internal combustion engine and the self connected object is an instrument for the process and the hole is a hole in the self connected object and the object is an instance of burning and the object completely fills the hole

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	If a process is an instance of engine cranking, then there exist an object, another object,, , a third object,, , another process,, , a fourth object and a third process such that the object is an instance of electrical motor and the other object is an instance of internal combustion engine and the third object is an instance of shaft and the fourth object is an instance of crankshaft and the third object is a part of the object and the other process is a subprocess of the process and the other process is an instance of rotating and the third object is a patient of the other process and the third process is an instance of rotating and the fourth object is a patient of the third process and the fourth object is a part of the other object and the other process causes the third process
(=> (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	If a physical is an instance of engine fan, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of automobile and the entity is an instance of cooling and the other entity is an instance of internal combustion engine and the other entity is a part of the third entity and the physical is a part of the third entity and the physical is an instrument for the entity and the other entity is a patient of the entity
(=> (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 1831-1839	If a process is an instance of the operating of internal combustion engine, then there exist a self connected object, a hole and an object such that the self connected object is an instance of internal combustion engine and the self connected object is an instrument for the process and the hole is a hole in the self connected object and the object is an instance of burning and the object completely fills the hole
(=> (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	If a physical is an instance of starter motor, then the physical has the purpose there exist an entity, another entity and a third entity such that the third entity is an instance of internal combustion engine and the physical is an instrument for the entity and the third entity is an instrument for the other entity and the entity causes the other entity

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