Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| WholeMilk(whole milk) |  | whole_milk |
| appearance as argument number 1 |
|
|
| (subclass WholeMilk ProcessedMilk) | Food.kif 2874-2874 | Whole milk is a subclass of processed milk |
| (documentation WholeMilk EnglishLanguage "WholeMilk is CowMilk which contains 3.25% to 5% of ButterFat. It is typically 3.25% of butter fat in countries such as Australia, Canada, USA.In the UK it is over 3.5%. [Wikipedia]") | Food.kif 2875-2877 | Whole milk is a subclass of processed milk |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage WholeMilk "whole milk") | Food.kif 2878-2878 |
| antecedent |
|
|
| (=> (and (instance ?M WholeMilk) (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.0325 ?N)) (lessThanOrEqualTo ?N2 (MultiplicationFn 0.05 ?N))))) |
Food.kif 2880-2898 | If X is an instance of whole 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.0325 and Y and V is less than or equal to 0.05 and Y |
|