TreeView Knowledge Base Browser - InternalCombustionEngine

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

InternalCombustionEngine

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 1716-1718
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 1715-1715	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 23034-23034	Diesel engine is a subclass of internal combustion engine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23023-23023	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 3320-3320	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 3321-3321	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 2558-2558

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 2811-2830	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 1898-1917	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 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 1868-1887	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 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 1943-1965	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 1720-1728	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 2215-2230	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 2752-2763	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 1720-1728	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 3956-3964	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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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