| Juice | |
| appearance as argument number 1 |
|
|
| (documentation Juice EnglishLanguage "A liquid (at room temperature) created by squeezing, crushing, or pureeing a FruitOrVegetable.") | Food.kif 2600-2601 | |
| (initialPart Juice FruitOrVegetable) | Food.kif 2603-2603 | initialPart Juice and 果物または野菜 |
| (subclass Juice Colloid) | Food.kif 2602-2602 | Juice は Colloid の subclass では |
| appearance as argument number 2 |
|
|
| (rangeSubclass JuiceOfFn Juice) | Food.kif 2607-2607 | JuiceOfFn が返す値は Juice の subclasses では |
| (termFormat EnglishLanguage Juice "juice") | domainEnglishFormat.kif 65052-65052 | JuiceOfFn が返す値は Juice の subclasses では |
| 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 1737-1752 |
|
|
|
|