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 fruit ou v�g�tal |
(subclass Juice Colloid) | Food.kif 2595-2595 | Juice est une sous-classe de Colloid |
appearance as argument number 2 |
(rangeSubclass JuiceOfFn Juice) | Food.kif 2600-2600 | Les valeurs retourn�es par JuiceOfFn sont des sous-classes de Juice |
(termFormat EnglishLanguage Juice "juice") | domainEnglishFormat.kif 65058-65058 |
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 |
|