Rotating(rotating) |
(=> (instance ?WC WheelChock) (hasPurpose ?WC (exists (?W ?T) (and (instance ?W Wheel) (holdsDuring ?T (and (meetsSpatially ?WC ?W) (not (exists (?R) (and (instance ?R Rotating) (patient ?R ?W)))))))))) |
Cars.kif 4329-4342 |
|
(=> (manner ?PROC RotationalAttribute) (instance ?PROC Rotating)) |
Cars.kif 4954-4956 |
|