(=>
(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 
