| SemiSkimmedMilk | |
| appearance as argument number 1 |
|
|
| (documentation SemiSkimmedMilk EnglishLanguage "SemiSkimmedMilk is CowMilk which contains 1.5 - 2% of butter fat. [Wikipedia]") | Food.kif 2989-2990 | |
| (subclass SemiSkimmedMilk ProcessedMilk) | Food.kif 2988-2988 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SemiSkimmedMilk "semi skimmed milk") | Food.kif 2991-2991 |
| antecedent |
|
|
| (=> (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 2993-3011 |
|
|
|