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 | initialPart Juice and 果物または野菜 |
(subclass Juice Colloid) | Food.kif 2595-2595 | Juice は Colloid の subclass では %n |
appearance as argument number 2 |
(rangeSubclass JuiceOfFn Juice) | Food.kif 2600-2600 | JuiceOfFn が返す値は Juice の subclasses では %n |
(termFormat EnglishLanguage Juice "juice") | domainEnglishFormat.kif 65060-65060 |
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 |
|