TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 459-461
No TPTP formula. May not be expressible in strict first order.	Cars.kif 457-457	Two stroke intake is a subclass of motion

appearance as argument number 2

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

Cars.kif 458-458

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 463-475	If an object is an instance of engine cylinder and a hole is an instance of internal combustion chamber and a physical is an instance of piston and a process is an instance of two stroke intake and the physical is located at the object holds during the process and the object is equal to the host of the hole the hole and the process is located at the object, then the physical has the purpose the physical partially fills the hole holds during the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 477-483	If a process is an instance of two stroke intake and an object is an instance of crankcase and the process is partly located at the object, then partial vacuum is an attribute of the object holds during the process

consequent

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

Cars.kif 264-278