Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Entity
|
|
|
| appearance as argument number 1 |
|
|
| (subclass ButterFat Oil) | Food.kif 2959-2959 | Butter fat is a subclass of oil |
| (roomTempState ButterFat Solid) | Food.kif 2960-2960 | room temperature state butter fat and solid |
| (documentation ButterFat EnglishLanguage "ButterFat is the fatty portion of Milk.[Wikipedia]") | Food.kif 2961-2961 | room temperature state butter fat and solid |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage ButterFat "butter fat") | Food.kif 2962-2962 | |
| (names "milk fat" ButterFat) | Food.kif 2963-2963 | Butter fat has name "milk fat" |
| antecedent |
|
|
| (=> (subclass ?BF ButterFat) (initialPart ?BF Milk)) |
Food.kif 2965-2967 | If X is a subclass of butter fat, then every X is initially part of a milk |
| (=> (and (instance ?C Cream) (part ?C ?O1) (instance ?O1 ButterFat) (measure ?O1 (MeasureFn ?X Gram)) (instance ?M Milk) (part ?M ?O2) (instance ?O2 ButterFat) (measure ?O2 (MeasureFn ?Y Gram))) (greaterThan ?X ?Y)) |
Food.kif 3154-3166 | If All of the following hold: (1) X is an instance of cream (2) X is a part of Y (3) Y is an instance of butter fat (4) the measure of Y is Z gram(s) (5) W is an instance of milk (6) W is a part of V (7) V is an instance of butter fat (8) the measure of V is U gram(s), then Z is greater than U |
| consequent |
|
|
| (=> (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 |
| (=> (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 |
| (=> (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 |
| (=> (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 |
| (=> (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 |
|