Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| OnePercentMilk(one percent milk) |
| appearance as argument number 1 |
|
| (subclass OnePercentMilk ProcessedMilk) | Food.kif 2993-2993 | One percent milk is a subclass of processed milk |
| (documentation OnePercentMilk EnglishLanguage "OnePercentMilk is CowMilk which contains 1% of butter fat. [Wikipedia]") | Food.kif 2994-2995 | One percent milk is a subclass of processed milk |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage OnePercentMilk "one percent milk") | Food.kif 2996-2996 |
| antecedent |
|
|
| (=> (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 2998-3015 | If X is an instance of one percent 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 equal V and 0.01 and Y |
|