(=>
(and
(instance ?L Lever)
(instance ?P Pushing)
(instance ?M1 Motion)
(instance ?U UnitOfLength)
(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
(MeasureFn ?D1 ?U))
(distance ?P3 ?P4
(MeasureFn ?D2 ?U)))
(greaterThan ?D2 ?D1)) 
Midlevelontology.kif 12891312 

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

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

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

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

(=>
(and
(physicalEnd ?P1 ?O)
(physicalEnd ?P2 ?O)
(not
(equal ?P1 ?P2))
(distance ?P1 ?P2
(MeasureFn ?D ?U)))
(not
(exists (?OP1 ?OP2 ?N2)
(and
(physicalEnd ?OP1 ?O)
(physicalEnd ?OP2 ?O)
(not
(equal ?OP1 ?OP2))
(distance ?OP1 ?OP2
(MeasureFn ?N2 ?U))
(greaterThan ?N2 ?D))))) 
Merge.kif 1767817693 

(=>
(and
(relativeAngle ?O1 ?O2 ?N)
(physicalEnd ?E1 ?O1)
(physicalEnd ?E2 ?O1)
(not
(equal ?E1 ?E2))
(length ?O1
(MeasureFn ?N1 ?U))
(length ?O2
(MeasureFn ?N2 ?U))
(distance ?E1 ?E3
(MeasureFn ?N3 ?U))
(physicalEnd ?E3 ?O2)
(physicalEnd ?E4 ?O2)
(not
(equal ?E3 ?E4))
(not
(meetsSpatially ?E1 ?E3)))
(equal ?N
(ArcCosineFn
(DivisionFn
(SubtractionFn
(SubtractionFn
(MultiplicationFn ?N3 ?N3)
(MultiplicationFn ?N1 ?N1))
(MultiplicationFn ?N2 ?N2))
(MultiplicationFn 2.0
(MultiplicationFn ?N1 ?N2)))))) 
Merge.kif 1763717662 

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

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

(=>
(physicalEnd ?P1 ?O)
(attribute ?O LongAndThin)) 
Merge.kif 1767417676 
