TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Cars.kif 504-507
No TPTP formula. May not be expressible in strict first order.	Cars.kif 502-502	Two stroke transfer is a subclass of motion

appearance as argument number 2

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

Cars.kif 503-503

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 509-521	If an object is an instance of engine cylinder and a hole is an instance of crankcase and a physical is an instance of piston and a process is an instance of two stroke transfer 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 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

consequent

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

Cars.kif 264-278