Juice - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Juice EnglishLanguage "A liquid (at room temperature) created by squeezing, crushing, or pureeing a FruitOrVegetable.")	Food.kif 2618-2619
(subclass Juice Colloid)	Food.kif 2620-2620	Juice is a subclass of colloid
(initialPart Juice FruitOrVegetable)	Food.kif 2621-2621	Every juice is initially part of a fruit or vegetable

appearance as argument number 2

(rangeSubclass JuiceOfFn Juice)	Food.kif 2625-2625	The values returned by juice of fn are subclasses of juice
(termFormat EnglishLanguage Juice "juice")	domainEnglishFormat.kif 65061-65061	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))

If All of the following hold: (1) X is an instance of meal (2) Y is a member of X (3) Y is an instance of coffee or Y is an instance of tea (4) Z is a member of X (5) Z is an instance of juice (6) W is a member of X (7) W is an instance of bread or biscuit (8) W is a member of X (9) W is an instance of butter (10) V is a member of X (11) V is an instance of jam, then continental breakfast is an attribute of X