BoxOfChocolates - Sigma Knowledge base Browser

appearance as argument number 1

(subclass BoxOfChocolates CollectionOfObjects)	Food.kif 2529-2529	Box of chocolate is a subclass of collection
(documentation BoxOfChocolates EnglishLanguage "A BoxOfChocolates is a Box of ChocolateCandy. It has a defaultMeasure of 250 Gram.")	Food.kif 2530-2531	Box of chocolate is a subclass of collection
(defaultMeasure BoxOfChocolates (MeasureFn 250.0 Gram))	Food.kif 2546-2547	The expected value of box of chocolate is 250.0 gram(s)

appearance as argument number 2

(termFormat EnglishLanguage BoxOfChocolates "box of chocolate")	Food.kif 2533-2533
(termFormat ChineseLanguage BoxOfChocolates "一盒巧克力")	Food.kif 2534-2534
(termFormat ChineseTraditionalLanguage BoxOfChocolates " 一盒巧克力")	Food.kif 2535-2535

antecedent

(=>
    (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