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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2224-2226
No TPTP formula. May not be expressible in strict first order.	Cars.kif 27-45
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4975-4975
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4976-4976
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4974-4974
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2223-2223	Internal combustion engine is a subclass of engine

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 85-85	Continuous combustion engine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25252-25252	Diesel engine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 25241-25241	Gasoline engine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 91-91	Intermittent combustion engine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 90-90	Turbine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30480-30480	Turbine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30479-30479	Turbine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30478-30478	Turbine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3381-3381	A oil pan is typically a part of a internal combustion engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3382-3382	A internal combustion engine typically has a part oil pan

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Cars.kif 2542-2542

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

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2228-2236	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2228-2236	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
No TPTP formula. May not be expressible in strict first order.	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