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