(=>
(and
(instance ?D Detaching)
(patient ?D ?O1)
(patient ?D ?O2)
(holdsDuring
(BeginFn
(WhenFn ?D))
(connected ?O1 ?O2))
(holdsDuring
(EndFn
(WhenFn ?A))
(not
(connected ?O1 ?O2))))
(and
(objectDetached ?A ?O1)
(objectDetached ?A ?O2))) |
Merge.kif 12721-12730 |
If X is an instance of detaching, Y is a patient of X, Z is a patient of X, Y is connected to Z holds during the beginning of the time of existence of X, and Y is not connected to Z holds during the end of the time of existence of W, then W detaches Y from another object and W detaches Z from another object |
