BoxOfChocolates
|
|
appearance as argument number 1 |
(defaultMeasure BoxOfChocolates (MeasureFn 250.0 Gram)) |
Food.kif 2524-2525 | |
(documentation BoxOfChocolates EnglishLanguage "A BoxOfChocolates is a Box of ChocolateCandy. It has a defaultMeasure of 250 Gram.") | Food.kif 2508-2509 | |
(subclass BoxOfChocolates Collection) | Food.kif 2507-2507 |
appearance as argument number 2 |
(termFormat ChineseLanguage BoxOfChocolates "一盒巧克力") | Food.kif 2512-2512 | |
(termFormat ChineseTraditionalLanguage BoxOfChocolates " 一盒巧克力") | Food.kif 2513-2513 | |
(termFormat EnglishLanguage BoxOfChocolates "box of chocolate") | Food.kif 2511-2511 |
antecedent |
(=> (instance ?X BoxOfChocolates) (exists (?B ?C) (and (instance ?B Box) (instance ?C ChocolateCandy) (contains ?B ?C) (member ?C ?X)))) |
Food.kif 2515-2522 |