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 4324-4337
(=>
    (manner ?PROC RotationalAttribute)
    (instance ?PROC Rotating))
Cars.kif 4949-4951


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners