Rotating

-------------------------


(=>
    (instance ?W Wrench)
    (hasPurpose ?W
        (exists (?R ?AD)
            (and
                (instance ?R Rotating)
                (instance ?AD AttachingDevice)
                (patient ?R ?AD)
                (instrument ?R ?W)))))
Cars.kif 4150-4158
(=>
    (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 4321-4334
(=>
    (manner ?PROC RotationalAttribute)
    (instance ?PROC Rotating))
Cars.kif 4946-4948


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