Exhaust - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Exhaust

Exhaust(exhaust)

exhaust, exhaust_fumes, fumes

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1142-1148
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 32551-32551	roomTempState exhaust and gas
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1139-1139	Exhaust is a subclass of mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1140-1140	Smoke is a subclass of exhaust
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1141-1141	Smoke is a subclass of exhaust

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 1724-1740	If a corpuscular object is an instance of exhaust and the corpuscular object is made of fuel and a transfer is an instance of transfer and the corpuscular objectNG is an instance of engine and the transfer originates at the corpuscular objectNG and a physical is an instance of catalytic converter and the transfer ends up at the physical and the object transferred in the transfer is the corpuscular object, then the physical has the purpose there exists an entity such that the entity is an instance of burning and the physical is an instrument for the entity and the corpuscular object is a patient of the entity and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4107-4122	If an object is an instance of tailpipe and the objectR is an instance of transfer and an entity is an instance of exhaust and another object is an instance of automobile and the other objectES is an instance of exhaust system and the object is a part of the other object and the object is path along which the objectR occurs and the entity is a patient of the objectR, then the object has the purpose there doesn't exist a third entity such that the third entity is a part of the other object and the object before the third entity on path the other objectES during the objectR
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1150-1159	If an object is an instance of exhaust, then there exist another object, a third object and a process such that the process is an instance of burning and solid is an attribute of the other object and gas is an attribute of the third object and the other object is a part of the object and the third object is a part of the object and the object is a result of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1161-1165	If an entity is an instance of exhaust, then the statement the entity is capable of doing seeing as a patient has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Cars.kif 1167-1172	If an entity is an instance of exhaust, then the statement the entity is not capable of doing seeing as a patient has the modal force of possibility

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 225-238	If a process is an instance of four stroke exhaust and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at the object, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 523-536	If a process is an instance of two stroke transfer and an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and the object is equal to the host of the hole the hole and the process is located at the object, then there exist an entity and another process such that the other process is an instance of gas motion and the entity is an instance of exhaust and the other process is a subprocess of the process and the other process originates at the hole and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2613-2629	If a physical is an instance of exhaust manifold, then the physical has the 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 automobile and the other entity is an instance of exhaust and the third entity is an instance of engine cylinder and the fourth entity is an instance of muffler and the fifth 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 fourth entity is a part of the entity and the fifth entity originates at the third entity and the fifth entity ends up at the fourth entity and the other entity is a patient of the fifth entity and the other entity is an instrument for the fifth entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2649-2657	If a physical is an instance of exhaust valve, then the physical has the purpose there exist an entity and another entity such that the other entity is an instance of transfer and the object transferred in the other entity is the entity and the physical is path along which the other entity occurs and the entity is an instance of exhaust
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3323-3338	If a physical is an instance of manifold heat control valve, then the physical has the 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 heating and the other entity is an instance of opening and the third entity is an instance of exhaust and the fifth entity is an instance of transfer and the fourth entity is an instance of fuel vapor and the physical is a patient of the other entity and the third entity is an instrument for the entity and the fourth entity is a patient of the entity and the physical is path along which the fifth entity occurs and the other entity causes the fifth entity and the fifth entity causes the 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