Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SemiSkimmedMilk(semi skimmed milk) |  | semi-skimmed_milk |
| appearance as argument number 1 |
|
|
| (subclass SemiSkimmedMilk ProcessedMilk) | Food.kif 3017-3017 | Semi skimmed milk is a subclass of processed milk |
| (documentation SemiSkimmedMilk EnglishLanguage "SemiSkimmedMilk is CowMilk which contains 1.5 - 2% of butter fat. [Wikipedia]") | Food.kif 3018-3019 | Semi skimmed milk is a subclass of processed milk |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SemiSkimmedMilk "semi skimmed milk") | Food.kif 3020-3020 |
| 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 3022-3040 | If X is an instance of semi skimmed milk, the measure of X is Y Z(s), and Z is an instance of unit of volume, then there exist W and V such that W is an instance of butter fat and W is a part of X and there doesn't exist U such that U is an instance of butter fat and equal W and U and U is a part of X and the measure of W is V Z(s) and V is greater than or equal to 0.015 and Y and V is less than or equal to 0.02 and Y |
|