(<=>
(quarter ?Q ?W)
(exists (?H)
(and
(half ?H ?W)
(half ?Q ?H)))) 
Midlevelontology.kif 1323513240 
An object is a quarter of another object if and only if there exists a third object such that the third object is half of the other object and the object is half of the third object 
(=>
(and
(attribute ?X ?HEMI)
(instance ?HEMI HemisphereFigure))
(exists (?Y)
(and
(instance ?Y Sphere)
(half ?X ?Y)))) 
Midlevelontology.kif 2656326570 

(=>
(half ?HALF ?WHOLE)
(exists (?OTHER)
(and
(half ?OTHER ?WHOLE)
(not
(equal ?OTHER ?HALF))
(equal ?WHOLE
(MereologicalSumFn ?HALF ?OTHER))))) 
Midlevelontology.kif 1320413210 

(=>
(most ?MOST ?WHOLE)
(exists (?HALF ?NUMBER1 ?NUMBER2 ?UNIT)
(and
(half ?HALF ?WHOLE)
(measure ?HALF
(MeasureFn ?NUMBER1 ?UNIT))
(measure ?MOST
(MeasureFn ?NUMBER2 ?UNIT))
(greaterThan ?NUMBER2 ?NUMBER1)))) 
Midlevelontology.kif 1324713254 
