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 Fruta ou Vegetal |
(subclass Juice Colloid) | Food.kif 2595-2595 | Juice e' uma sub-classe de Colloid |
appearance as argument number 2 |
(rangeSubclass JuiceOfFn Juice) | Food.kif 2600-2600 | Os valores retornados por JuiceOfFn sao as sub-classes de Juice |
(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 |
|