(=>
(and
(approximateDiameter ?O
(MeasureFn ?L ?LM))
(sphereRadius ?S
(MeasureFn
(DivisionFn ?L 2.0) ?LM))
(measure ?S
(MeasureFn ?V1 ?VM))
(measure ?O
(MeasureFn ?V2 ?VM))
(instance ?LM UnitOfLength)
(instance ?VM UnitOfVolume))
(equal ?V1 ?V2)) 
Midlevelontology.kif 1797517986 

(=>
(and
(equal
(MeasureFn ?NUMBER ?UNIT) ?QUANT)
(instance ?UNIT UnitOfVolume))
(instance ?QUANT VolumeMeasure)) 
Merge.kif 63766380 

(=>
(and
(instance ?D Antidiuretic)
(instance ?I Ingesting)
(agent ?I ?H)
(moves ?I ?D)
(instance ?U1 Urination)
(result ?U1 ?P1)
(agent ?U1 ?H)
(instance ?U2 Urination)
(not
(equal ?U1 ?U2))
(result ?U2 ?P2)
(agent ?U2 ?H)
(earlier ?U1 ?I)
(earlier ?I ?U2)
(instance ?V UnitOfVolume)
(measure ?U1
(MeasureFn ?N1 ?V))
(measure ?U2
(MeasureFn ?N2 ?V)))
(modalAttribute
(greaterThan ?N1 ?N2) Likely)) 
Midlevelontology.kif 1008210105 

(=>
(and
(instance ?D Diuretic)
(instance ?I Ingesting)
(agent ?I ?H)
(moves ?I ?D)
(instance ?U1 Urination)
(result ?U1 ?P1)
(agent ?U1 ?H)
(instance ?U2 Urination)
(result ?U2 ?P2)
(agent ?U2 ?H)
(earlier ?U1 ?I)
(earlier ?I ?U2)
(instance ?V UnitOfVolume)
(measure ?U1
(MeasureFn ?N1 ?V))
(measure ?U2
(MeasureFn ?N2 ?V)))
(modalAttribute
(greaterThan ?N2 ?N1) Likely)) 
Midlevelontology.kif 1005210073 

(=>
(and
(instance ?E InternalCombustionEngine)
(instance ?CC CombustionChamber)
(part ?CC ?E)
(instance ?F Fuel)
(instance ?M UnitOfVolume)
(holdsDuring ?T
(and
(contains ?CC ?F)
(measure ?F
(MeasureFn ?N1 ?M))
(attribute ?E EngineFlooded))))
(hasPurpose ?CC
(not
(exists (?F2 ?N2)
(and
(instance ?F2 Fuel)
(contains ?CC ?F2)
(measure ?F2
(MeasureFn ?N2 ?M))
(greaterThanOrEqualTo ?N2 ?N1)))))) 
Cars.kif 28172836 

(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?CC CombustionChamber)
(part ?CC ?E)
(eventLocated ?EC ?E)
(instance ?U UnitOfVolume)
(holdsDuring
(WhenFn ?EC)
(maxCylinderVolume ?E
(MeasureFn ?V1 ?U))))
(not
(exists (?V2 ?T)
(and
(during ?T
(WhenFn ?EC))
(holdsDuring ?T
(measure ?CC
(MeasureFn ?V2 ?U)))
(greaterThan ?V2 ?V1))))) 
Cars.kif 19041923 

(=>
(and
(instance ?EC EngineCycle)
(instance ?E InternalCombustionEngine)
(instance ?CC CombustionChamber)
(part ?CC ?E)
(eventLocated ?EC ?E)
(instance ?U UnitOfVolume)
(holdsDuring
(WhenFn ?EC)
(minCylinderVolume ?E
(MeasureFn ?V1 ?U))))
(not
(exists (?V2 ?T)
(and
(during ?T
(WhenFn ?EC))
(holdsDuring ?T
(measure ?CC
(MeasureFn ?V2 ?U)))
(greaterThan ?V1 ?V2))))) 
Cars.kif 18741893 

(=>
(and
(instance ?M OnePercentMilk)
(measure ?M
(MeasureFn ?N ?U))
(instance ?U UnitOfVolume))
(exists (?BF ?N2)
(and
(instance ?BF ButterFat)
(part ?BF ?M)
(not
(exists (?F2)
(and
(instance ?F2 ButterFat)
(not
(equal ?BF ?F2))
(part ?F2 ?M))))
(measure ?BF
(MeasureFn ?N2 ?U))
(equal ?N2
(MultiplicationFn 0.01 ?N))))) 
Food.kif 29692986 

(=>
(and
(instance ?M SemiSkimmedMilk)
(measure ?M
(MeasureFn ?N ?U))
(instance ?U UnitOfVolume))
(exists (?BF ?N2)
(and
(instance ?BF ButterFat)
(part ?BF ?M)
(not
(exists (?F2)
(and
(instance ?F2 ButterFat)
(not
(equal ?BF ?F2))
(part ?F2 ?M))))
(measure ?BF
(MeasureFn ?N2 ?U))
(greaterThanOrEqualTo ?N2
(MultiplicationFn 0.015 ?N))
(lessThanOrEqualTo ?N2
(MultiplicationFn 0.02 ?N))))) 
Food.kif 29933011 

(=>
(and
(instance ?M SkimmedMilk)
(measure ?M
(MeasureFn ?N ?U))
(instance ?U UnitOfVolume))
(exists (?BF ?N2)
(and
(instance ?BF ButterFat)
(part ?BF ?M)
(not
(exists (?F2)
(and
(instance ?F2 ButterFat)
(not
(equal ?BF ?F2))
(part ?F2 ?M))))
(measure ?BF
(MeasureFn ?N2 ?U))
(greaterThanOrEqualTo ?N2
(MultiplicationFn 0.0 ?N))
(lessThanOrEqualTo ?N2
(MultiplicationFn 0.005 ?N))))) 
Food.kif 30183036 

(=>
(and
(instance ?M TwoPercentMilk)
(measure ?M
(MeasureFn ?N ?U))
(instance ?U UnitOfVolume))
(exists (?BF ?N2)
(and
(instance ?BF ButterFat)
(part ?BF ?M)
(not
(exists (?F2)
(and
(instance ?F2 ButterFat)
(not
(equal ?BF ?F2))
(part ?F2 ?M))))
(measure ?BF
(MeasureFn ?N2 ?U))
(equal ?N2
(MultiplicationFn 0.02 ?N))))) 
Food.kif 29452962 

(=>
(and
(instance ?M WholeMilk)
(measure ?M
(MeasureFn ?N ?U))
(instance ?U UnitOfVolume))
(exists (?BF ?N2)
(and
(instance ?BF ButterFat)
(part ?BF ?M)
(not
(exists (?F2)
(and
(instance ?F2 ButterFat)
(not
(equal ?BF ?F2))
(part ?F2 ?M))))
(measure ?BF
(MeasureFn ?N2 ?U))
(greaterThanOrEqualTo ?N2
(MultiplicationFn 0.0325 ?N))
(lessThanOrEqualTo ?N2
(MultiplicationFn 0.05 ?N))))) 
Food.kif 28512869 

(=>
(and
(instance ?SCO SelfConnectedObject)
(instance ?C Compressing)
(patient ?C ?SCO)
(holdsDuring
(ImmediatePastFn
(WhenFn ?C))
(measure ?SCO
(MeasureFn ?N1 ?V)))
(instance ?V UnitOfVolume)
(holdsDuring
(ImmediateFutureFn
(WhenFn ?C))
(measure ?SCO
(MeasureFn ?N2 ?V))))
(greaterThan ?N1 ?N2)) 
Cars.kif 19932005 

(=>
(and
(instance ?WEARING Erosion)
(instance ?LAND LandForm)
(patient ?WEARING ?LAND)
(instance ?U UnitOfVolume)
(measure ?LAND
(MeasureFn ?SIZE1 ?U)))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?WEARING))
(exists (?SIZE2)
(and
(measure ?LAND
(MeasureFn ?SIZE2 ?U))
(lessThan ?SIZE2 ?SIZE1))))) 
Geography.kif 26892702 
