|
|
   SkimmedMilk
|
|
|
| appearance as argument number 1 |
|
|
| (documentation SkimmedMilk EnglishLanguage "SkimmedMilk is CowMilk which contains 0 - 0.05% of butter fat. [Wikipedia]") | Food.kif 3014-3015 | |
| (subclass SkimmedMilk ProcessedMilk) | Food.kif 3013-3013 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SkimmedMilk "skimmed milk") | Food.kif 3016-3016 |
| antecedent |
|
|
| (=> (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 3018-3036 |
|
|
|