TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 69-71
No TPTP formula. May not be expressible in strict first order.	Cars.kif 67-67	Fuel vapor is a subclass of gas mixture

appearance as argument number 2

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

Cars.kif 68-68

antecedent

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

Cars.kif 73-78

If an object is an instance of fuel vapor,
then there exists another object such that the other object is an instance of fuel and the other object is a part of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 171-184	If a process is an instance of four stroke intake 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 the processV and another process such that the other process is an instance of gas motion and the processV is an instance of fuel vapor and the other process is a subprocess of the process and the other process ends up at the hole and the processV is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2690-2703	If a physical is an instance of intake valve, then the physical has the 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 3262-3277	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 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

KB Term:			Term intersection

English Word: