Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| TwoPercentMilk(two percent milk) |
| appearance as argument number 1 |
|
| (subclass TwoPercentMilk ProcessedMilk) | Food.kif 2969-2969 | Two percent milk is a subclass of processed milk |
| (documentation TwoPercentMilk EnglishLanguage "TwoPercentMilk is CowMilk which contains 2% of butter fat. [Wikipedia]") | Food.kif 2970-2971 | Two percent milk is a subclass of processed milk |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage TwoPercentMilk "two percent milk") | Food.kif 2972-2972 |
| antecedent |
|
|
| (=> (and (instance ?M TwoPercentMilk) (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.02 ?N))))) |
Food.kif 2974-2991 | If X is an instance of two 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.02 and Y |
|