Sigma KEE - Rotating

No TPTP formula. May not be expressible in strict first order.	Cars.kif 4150-4158	If a physical is an instance of wrench, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of rotating and the other entity is an instance of attaching device and the other entity is a patient of the entity and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4321-4334	If a physical is an instance of wheel chock, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of wheel and the physical meets the entity and there doesn't exist a third entity such that the third entity is an instance of rotating and the entity is a patient of the third entity holds during the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4946-4948	If a process is performed in the manner rotational attribute, then the process is an instance of rotating