| Juice | |
| appearance as argument number 1 |
|
|
| (documentation Juice EnglishLanguage "A liquid (at room temperature) created by squeezing, crushing, or pureeing a FruitOrVegetable.") | Food.kif 2593-2594 | |
| (initialPart Juice FruitOrVegetable) | Food.kif 2596-2596 | |
| (subclass Juice Colloid) | Food.kif 2595-2595 |
| appearance as argument number 2 |
|
|
| (rangeSubclass JuiceOfFn Juice) | Food.kif 2600-2600 | |
| (termFormat EnglishLanguage Juice "juice") | domainEnglishFormat.kif 65083-65083 |
| antecedent |
|
|
| (=> (and (instance ?M Meal) (member ?H ?M) (or (instance ?H Coffee) (instance ?H Tea)) (member ?J ?M) (instance ?J Juice) (member ?B ?M) (instance ?B BreadOrBiscuit) (member ?B ?M) (instance ?B Butter) (member ?JA ?M) (instance ?JA Jam)) (attribute ?M ContinentalBreakfast)) |
Food.kif 1731-1746 |
|
|
|