(=>
(instance ?CM CentrifugalMotion)
(exists (?R ?A ?O1 ?O2)
(and
(instance ?R Rotating)
(axis ?A ?O1)
(origin ?CM ?A)
(experiencer ?R ?O1)
(experiencer ?CM ?O2)
(causes ?R ?CM)))) 
Midlevelontology.kif 1733017339 

(=>
(instance ?CM CentripetalMotion)
(exists (?R ?A ?O1 ?O2)
(and
(instance ?R Rotating)
(axis ?A ?O1)
(destination ?CM ?A)
(experiencer ?R ?O1)
(experiencer ?CM ?O2)
(causes ?R ?CM)))) 
Midlevelontology.kif 1734517354 

(=>
(instance ?L Lever)
(exists (?A)
(axis ?A ?L))) 
Midlevelontology.kif 12941297 
