ChocolateCandy
|
|
appearance as argument number 1 |
(documentation ChocolateCandy EnglishLanguage "A ChocolateCandy is a candy made of Sugar and Choclate.") | Food.kif 2494-2494 | |
(subclass ChocolateCandy Chocolate) | Food.kif 2495-2495 | ChocolateCandy は Chocolate の subclass では %n |
appearance as argument number 2 |
(termFormat ChineseLanguage ChocolateCandy "巧克力糖") | Food.kif 2497-2497 | |
(termFormat ChineseTraditionalLanguage ChocolateCandy " 巧克力糖") | Food.kif 2498-2498 | |
(termFormat EnglishLanguage ChocolateCandy "chocolate candy") | Food.kif 2496-2496 |
antecedent |
(=> (instance ?CHOC ChocolateCandy) (and (material CocoaLiquor ?CHOC) (material Oil ?CHOC) (material Sugar ?CHOC))) |
Food.kif 2500-2505 |
consequent |
(=> (instance ?X BoxOfChocolates) (exists (?B ?C) (and (instance ?B Box) (instance ?C ChocolateCandy) (contains ?B ?C) (member ?C ?X)))) |
Food.kif 2515-2522 |
|