(=>
(and
(instance ?GRAB Grabbing)
(agent ?GRAB ?AGENT)
(patient ?GRAB ?THING))
(and
(holdsDuring
(BeginFn
(WhenFn ?GRAB))
(not
(grasps ?AGENT ?THING)))
(holdsDuring
(EndFn
(WhenFn ?GRAB))
(grasps ?AGENT ?THING)))) |
Merge.kif 11785-11792 |
If X is an instance of grabbing, Y is an agent of X, and Z is a patient of X, then Y doesn't grasp Z holds during the beginning of the time of existence of X and Y grasps Z holds during the end of the time of existence of X |
(=>
(and
(instance ?RELEASE Releasing)
(agent ?GRAB ?AGENT)
(patient ?GRAB ?THING))
(and
(holdsDuring
(BeginFn
(WhenFn ?RELEASE))
(grasps ?AGENT ?THING))
(holdsDuring
(EndFn
(WhenFn ?RELEASE))
(not
(grasps ?AGENT ?THING))))) |
Merge.kif 11800-11807 |
If X is an instance of releasing, Y is an agent of Z, and W is a patient of Z, then Y grasps W holds during the beginning of the time of existence of X and Y doesn't grasp W holds during the end of the time of existence of X |
(=>
(and
(instance ?RELEASE Ungrasping)
(agent ?GRAB ?AGENT)
(patient ?GRAB ?THING))
(and
(holdsDuring
(BeginFn
(WhenFn ?RELEASE))
(grasps ?AGENT ?THING))
(holdsDuring
(EndFn
(WhenFn ?RELEASE))
(not
(grasps ?AGENT ?THING))))) |
Merge.kif 12737-12744 |
If X is an instance of ungrasping, Y is an agent of Z, and W is a patient of Z, then Y grasps W holds during the beginning of the time of existence of X and Y doesn't grasp W holds during the end of the time of existence of X |
(=>
(and
(instance ?CATCH Catching)
(agent ?CATCH ?AGENT)
(patient ?CATCH ?BALL))
(holdsDuring
(EndFn
(WhenFn ?CATCH))
(grasps ?AGENT ?BALL))) |
Mid-level-ontology.kif 18730-18735 |
If X is an instance of catching, Y is an agent of X, and Z is a patient of X, then Y grasps Z holds during the end of the time of existence of X |
grasps