CombustionChamber - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CombustionChamber

CombustionChamber(combustion chamber)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1693-1694
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1691-1691	Combustion chamber is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1703-1703	Catalytic converter is a subclass of combustion chamber
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1692-1692

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2796-2815	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 は the entity を contains %n{ない} 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 purpose there doesn't exist the entity2 such that the entity2 is an instance of fuel and the other object は the entity2 を contains %n{ない} 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 1891-1907	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 the maximum volume of the cylinders in the engine the object is a quantity 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 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 1864-1880	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 the minimum volume of the cylinders in the engine the object is a quantity 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 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 1696-1701	If an object is an instance of combustion chamber, then there exists a hole such that the hole is an instance of hole and the object is equal to the host of the hole the hole

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 2675-2688	If a physical is an instance of intake valve, then the physical purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of automobile and the other entity is an instance of fuel vapor and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the physical is a part of the entity and the third entity is a part of the entity and the other entity is a patient of the fourth entity and the physical is path along which the fourth entity occurs and the fourth entity ends up at the third entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3792-3808	If a physical is an instance of positive crankcase ventilation valve, then the physical purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of Crankcase and the other entity is an instance of fuel and the third entity is an instance of combustion chamber and the fourth entity is an instance of transfer and the fifth entity is an instance of automobile and the entity is a part of the fifth entity and the third entity is a part of the fifth entity and the physical is a part of the fifth entity and the fourth entity originates at the entity and the fourth entity ends up at the third entity and the object transferred in the fourth entity is the other entity and the physical is path along which the fourth entity occurs

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