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 | Every juice is initially part of a fruit or vegetable |
(subclass Juice Colloid) | Food.kif 2602-2602 | Juice is a subclass of colloid |
appearance as argument number 2 |
![]() |
(rangeSubclass JuiceOfFn Juice) | Food.kif 2607-2607 | The values returned by juice of fn are subclasses of juice |
(termFormat EnglishLanguage Juice "juice") | domainEnglishFormat.kif 65081-65081 | The values returned by juice of fn are subclasses of juice |
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 |
|
![]() |
![]() |