|
|
   Food
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Food EnglishLanguage "Food that is fit for Human.") | Merge.kif 14894-14894 | |
| (equal Food (FoodForFn Human)) |
Merge.kif 14895-14895 | Food ist gleich FoodForFn Human %n{nicht} |
| (subclass Food SelfConnectedObject) | Merge.kif 14896-14896 | Food ist eine teilkategorie von SelfConnectedObject |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept Nutrient Food) | Merge.kif 14705-14705 | Nutrient ist innerlich verwandt mit Food %n{nicht} |
| (subclass FoodFromPlant Food) | Food.kif 294-294 | FoodFromPlant ist eine teilkategorie von Food |
| (subclass Meat Food) | Food.kif 291-291 | Meat ist eine teilkategorie von Food |
| (subclass PreparedFood Food) | Food.kif 308-308 | PreparedFood ist eine teilkategorie von Food |
| (termFormat EnglishLanguage Food "food") | domainEnglishFormat.kif 64877-64877 | |
| (termFormat FrenchLanguage Food "nourriture") | french_format.kif 690-690 | |
| (termFormat Hindi Food "aahaara") | terms-hindi.txt 221-221 | |
| (termFormat ItalianLanguage Food "Cibo") | terms-it.txt 224-224 | |
| (termFormat PortugueseLanguage Food "Comida") | portuguese_format.kif 642-642 | |
| (termFormat cb Food "pagkaon") | terms-cb.txt 226-226 | |
| (termFormat cz Food "food") | terms-cz.txt 259-259 | |
| (termFormat ro Food "hranã") | relations-ro.kif 711-711 | |
| (termFormat tg Food "pagkain") | terms-tg.txt 225-225 |
| appearance as argument number 3 |
|
|
| (domain roastedToTemperature 1 Food) | Food.kif 464-464 | Die Zahl 1 Argument von roastedToTemperature ist ein fall von Food %n{nicht} |
| antecedent |
|
|
| (=> (and (attribute ?F DecafAttribute) (instance ?F Food)) (not (exists (?C) (and (instance ?C Caffeine) (piece ?C ?F))))) |
Food.kif 437-445 |
|
| (=> (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 |
|
| (=> (and (instance ?F Food) (attribute ?F CaffeinatedAttribute)) (exists (?CAF) (and (instance ?CAF Caffeine) (piece ?CAF ?F)))) |
Food.kif 411-418 |
|
| (=> (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 |
|
| (=> (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 |
|
| (=> (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 |
|
| consequent |
|
|
| (=> (and (instance ?A PreparedFoodAttribute) (attribute ?F ?A)) (instance ?F Food)) |
Food.kif 24-28 |
|
| (=> (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 |
|
|
|
|