TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 400-401
No TPTP formula. May not be expressible in strict first order.	Cars.kif 398-398	Pressurized is an instance of relational attribute

appearance as argument number 2

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

Cars.kif 399-399

antecedent

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

Cars.kif 403-416

consequent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 191-200	If a process is an instance of four stroke compression 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 pressurized is an attribute of the hole holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5192-5204	If a physical is an instance of supercharger, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of gas motion and the entity originates at the physical and the other entity is an instance of intake valve and the entity ends up at the other entity and the third entity is an instance of air and the object transferred in the entity is the third entity and pressurized is an attribute of the third entity holds during the time of existence of the entity