(=>
(and
(instance ?L Lever)
(instance ?P Pushing)
(instance ?M1 Motion)
(destination ?P ?E1)
(physicalEnd ?E1 ?L)
(physicalEnd ?E2 ?L)
(not
(equal ?E1 ?E2))
(holdsDuring
(ImmediatePastFn
(WhenFn ?M1))
(located ?E1 ?P1))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?M1))
(located ?E1 ?P2))
(holdsDuring
(ImmediatePastFn
(WhenFn ?M1))
(located ?E2 ?P3))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?M1))
(located ?E2 ?P4))
(distance ?P1 ?P2 ?D1)
(distance ?P3 ?P4 ?D2))
(greaterThan ?D2 ?D1)) 
Midlevelontology.kif 17201740 

(=>
(and
(physicalEnd ?E ?O)
(superficialPart ?SP ?O))
(meetsSpatially ?E ?SP)) 
Midlevelontology.kif 16801684 

(=>
(and
(physicalEnd ?E1 ?O)
(physicalEnd ?E2 ?O)
(not
(equal ?E1 ?E2)))
(not
(meetsSpatially ?E1 ?E2))) 
Midlevelontology.kif 16711678 

(=>
(and
(physicalEnd ?E1 ?O)
(physicalEnd ?E2 ?O)
(not
(equal ?E1 ?E2)))
(not
(overlapsSpatially ?E1 ?E2))) 
Midlevelontology.kif 16621669 

(=>
(and
(physicalEnd ?E1 ?O)
(physicalEnd ?E2 ?O)
(part ?P1 ?E1)
(part ?P2 ?E2)
(distance ?P1 ?P2 ?D1)
(not
(equal ?E1 ?E2)))
(not
(exists (?OP1 ?OP2 ?D2)
(and
(not
(part ?OP1 ?E1))
(not
(part ?OP2 ?E2))
(distance ?OP1 ?OP2 ?D2)
(greaterThan ?D2 ?D1))))) 
Midlevelontology.kif 16861703 

(=>
(physicalEnd ?E ?O)
(attribute ?O LongAndThin)) 
Midlevelontology.kif 16531655 

(=>
(physicalEnd ?E ?O)
(not
(attribute ?E LongAndThin))) 
Midlevelontology.kif 16571660 
