ChocolateCandy - Sigma Knowledge base Browser

appearance as argument number 1

(documentation ChocolateCandy EnglishLanguage "A ChocolateCandy is a candy made of Sugar and Choclate.")	Food.kif 2516-2516
(subclass ChocolateCandy Chocolate)	Food.kif 2517-2517	Chocolate candy is a subclass of chocolate

appearance as argument number 2

(termFormat EnglishLanguage ChocolateCandy "chocolate candy")	Food.kif 2518-2518
(termFormat ChineseLanguage ChocolateCandy "巧克力糖")	Food.kif 2519-2519
(termFormat ChineseTraditionalLanguage ChocolateCandy " 巧克力糖")	Food.kif 2520-2520

antecedent

(=>
    (instance ?CHOC ChocolateCandy)
    (and
        (material CocoaLiquor ?CHOC)
        (material Oil ?CHOC)
        (material Sugar ?CHOC)))

consequent

(=>
    (instance ?X BoxOfChocolates)
    (exists (?B ?C)
        (and
            (instance ?B Box)
            (instance ?C ChocolateCandy)
            (contains ?B ?C)
            (member ?C ?X))))

If X is an instance of box of chocolate, then there exist Y, Z such that Y is an instance of box, Z is an instance of chocolate candy, Y contains Z, and Z is a member of X