| Food(food) | | Brownie, C-ration, Caesar_salad, Easter_egg, K_ration, MSG, Pablum, Postum, Saratoga_chip, Tabasco, Tabasco_sauce, Tamale, Waldorf_salad, a_la_carte, a_la_mode, addled, aged, aliment, alimental, alimentary, alimentation, allergy_diet, almond_extract, almond_oil, amylaceous, amyloid, amyloidal, apple_sauce, applesauce, aspic, atole, babacu_oil, babassu_oil, bad, balanced_diet, barbecue, barbeque, bird_feed, bird_food, birdseed, bit, bite, bitter_almond_oil, bland_diet, board, bracer, bran_flake, breadstuff, breakfast_food, brine-cured... |
| appearance as argument number 1 |
|
|
| (documentation Food EnglishLanguage "Food that is fit for Human.") | Merge.kif 15047-15047 | |
| (equal Food (FoodForFn Human)) |
Merge.kif 15048-15048 | equal food and food for human |
| (subclass Food SelfConnectedObject) | Merge.kif 15049-15049 | Food is a subclass of self connected object |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Nutrient Food) | Merge.kif 14858-14858 | Nutrient is internally related to food |
| (subclass Meat Food) | Food.kif 291-291 | Meat is a subclass of food |
| (subclass FoodFromPlant Food) | Food.kif 294-294 | Food from a plant is a subclass of food |
| (subclass PreparedFood Food) | Food.kif 308-308 | Prepared food is a subclass of food |
| (termFormat EnglishLanguage Food "food") | domainEnglishFormat.kif 64880-64880 | Prepared food is a subclass of food |
| appearance as argument number 3 |
|
|
| (domain roastedToTemperature 1 Food) | Food.kif 464-464 | 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 411-418 | 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 425-435 | 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 437-445 | 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 |
|
|
|