Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| SkimmedMilk(skimmed milk) |  | skim_milk, skimmed_milk |
| appearance as argument number 1 |
|
|
| (subclass SkimmedMilk ProcessedMilk) | Food.kif 3042-3042 | Skimmed milk is a subclass of processed milk |
| (documentation SkimmedMilk EnglishLanguage "SkimmedMilk is CowMilk which contains 0 - 0.05% of butter fat. [Wikipedia]") | Food.kif 3043-3044 | Skimmed milk is a subclass of processed milk |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage SkimmedMilk "skimmed milk") | Food.kif 3045-3045 |
| 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 3047-3065 | If X is an instance of 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.0 and Y and V is less than or equal to 0.005 and Y |
|