Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Food
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Food EnglishLanguage "Food that is fit for Human.") | Merge.kif 15180-15180 | |
| (equal Food (FoodForFn Human)) |
Merge.kif 15181-15181 | equal food and food for human |
| (subclass Food SelfConnectedObject) | Merge.kif 15182-15182 | Food is a subclass of self connected object |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Nutrient Food) | Merge.kif 14995-14995 | Nutrient is internally related to food |
| (subclass Meat Food) | Merge.kif 15185-15185 | Meat is a subclass of food |
| (subclass PreparedFood Food) | Mid-level-ontology.kif 2561-2561 | Food is a subclass of food |
| (subclass FoodFromPlant Food) | Food.kif 294-294 | Food from a plant is a subclass of food |
| (termFormat EnglishLanguage Food "food") | domainEnglishFormat.kif 64880-64880 | Food from a plant is a subclass of food |
| appearance as argument number 3 |
|
|
| (domain roastedToTemperature 1 Food) | Food.kif 440-440 | The number 1 argument of roasted to temperature is an instance of food |
| antecedent |
|
|
| (=> (and (instance ?C CuringFood) (instance ?F Food) (patient ?C ?F)) (exists (?D) (and (instance ?D Drying) (subProcess ?D ?C) (patient ?D ?F)))) |
Food.kif 96-105 | If X is an instance of curing food, Y is an instance of food, and Y is a patient of X, then there exists Z such that Z is an instance of drying, Z is a subprocess of X, and Y is a patient of Z |
| (=> (and (instance ?X DryRoasting) (instance ?F Food) (patient ?X ?F)) (holdsDuring ?X (exists (?H ?S) (and (instance ?H Heating) (instance ?S Stirring) (subProcess ?H ?X) (subProcess ?S ?X) (during (WhenFn ?S) (WhenFn ?H)) (patient ?H ?F) (patient ?S ?F) (not (exists (?O ?W) (and (instance ?O Oil) (instance ?W DrinkingWater) (patient ?X ?O) (patient ?X ?W)))))))) |
Food.kif 128-151 | If X is an instance of dry roasting, Y is an instance of food, and Y is a patient of X, then All of the following hold: (1) there exist Z (2) W such that Z is an instance of heating (3) W is an instance of stirring (4) Z is a subprocess of X (5) W is a subprocess of X (6) the time of existence of W takes place during the time of existence of Z (7) Y is a patient of Z (8) Y is a patient of W (9) there don't exist V (10) U such that V is an instance of oil (11) U is an instance of potable water (12) V is a patient of X (13) U is a patient of X holds during X |
| (=> (and (instance ?P PreservingFood) (instance ?F Food) (patient ?P ?F)) (hasPurpose ?P (not (exists (?D) (and (instance ?D ChemicalDecomposition) (patient ?D ?F)))))) |
Food.kif 191-201 | If X is an instance of preserving food, Y is an instance of food, and Y is a patient of X, then X has the purpose there doesn't exist Z such that Z is an instance of chemical decomposition and Y is a patient of Z |
| (=> (and (instance ?F Food) (attribute ?F CaffeinatedAttribute)) (exists (?CAF) (and (instance ?CAF Caffeine) (piece ?CAF ?F)))) |
Food.kif 387-394 | If X is an instance of food and caffeinated is an attribute of X, then there exists Y such that Y is an instance of caffeine and Y is a piece of X |
| (=> (and (instance ?F Food) (attribute ?F DecafAttribute) (piece ?C ?F) (instance ?C Caffeine)) (exists (?R) (and (instance ?R Removing) (destination ?R ?F) (patient ?R ?C)))) |
Food.kif 401-411 | If X is an instance of food, decaf is an attribute of X, Y is a piece of X, and Y is an instance of caffeine, then there exists Z such that Z is an instance of removing, Z ends up at X, and Y is a patient of Z |
| (=> (and (attribute ?F DecafAttribute) (instance ?F Food)) (not (exists (?C) (and (instance ?C Caffeine) (piece ?C ?F))))) |
Food.kif 413-421 | If decaf is an attribute of X and X is an instance of food, then there doesn't exist Y such that Y is an instance of caffeine and Y is a piece of X |
| consequent |
|
|
| (=> (and (instance ?A PreparedFoodAttribute) (attribute ?F ?A)) (instance ?F Food)) |
Food.kif 24-28 | If X is an instance of prepared food attribute and X is an attribute of Y, then Y is an instance of food |
| (=> (instance ?C CuringFood) (exists (?F ?P ?S) (and (instance ?F Food) (patient ?C ?F) (instance ?P Putting) (subProcess ?P ?C) (instance ?S SodiumChloride) (patient ?P ?S) (destination ?P ?F)))) |
Food.kif 84-94 | If X is an instance of curing food, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of food (3) Y is a patient of X (4) Z is an instance of putting (5) Z is a subprocess of X (6) W is an instance of salt (7) W is a patient of Z (8) Z ends up at Y |
|