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 1698-1700
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 4977-4977
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 4978-4978
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.	Mid-level-ontology.kif 1697-1697	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	ContinuousCombustionEngine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20048-20048	Diesel engine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20037-20037	Gasoline engine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order.	Cars.kif 91-91	IntermittentCombustionEngine 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 30456-30456
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30455-30455
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30454-30454
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3334-3334	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 3335-3335	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 2572-2572

The number 1 argument of engineIdleSpeed is an instance of internal combustion engine

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2825-2844	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 UnitOfVolume 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 doesn't exist the entity2 such that the entity2 is an instance of fuel and the other object contains the entity2 and the measure of the entity2 is a 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 1912-1931	If a process is an instance of EngineCycle 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 2 and an entity is an instance of UnitOfVolume and the maximum volume of the cylinders in the engine the object is a quantity the entity(s) holds during the time of existence of the process, then there don't exist another quantity 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 quantity the entity(s) holds during the time interval and the other quantity is greater than the quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1882-1901	If a process is an instance of EngineCycle 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 2 and an entity is an instance of UnitOfVolume and the minimum volume of the cylinders in the engine the object is a quantity the entity(s) holds during the time of existence of the process, then there don't exist another quantity 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 quantity the entity(s) holds during the time interval and the quantity is greater than the other quantity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1957-1979	If a process is an instance of EngineCycle 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 UnitOfLength and the object is a part of the engine and the object is a patient of the process and the process is located at 2 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 combustion 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 combustion 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 1702-1710	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 combustion and the object completely fills the hole

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2229-2244	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 a fourth 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 2766-2777	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 1702-1710	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 combustion and the object completely fills the hole
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3969-3977	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