CocoaLiquor
|
|
appearance as argument number 1 |
(documentation CocoaLiquor EnglishLanguage "CocoaLiquor is pure cocoa mass (cocoa paste) in solid or semi-solid form. It is produced from cocoa beans that have been fermented, dried, roasted, and separated from their skins. It contains both cocoa solids and cocoa butter in roughly equal proportion.[Wikipedia]") | Food.kif 2443-2446 | |
(roomTempState CocoaLiquor Solid) | Food.kif 2442-2442 | roomTempState CocoaLiquor and 固體 |
(subclass CocoaLiquor Chocolate) | Food.kif 2441-2441 | 子類 CocoaLiquor and Chocolate |
appearance as argument number 2 |
(initialPart CocoaButter CocoaLiquor) | Food.kif 2492-2492 | %每個 可可脂 是 CocoaLiquor 的 initially part |
(initialPart CocoaSolid CocoaLiquor) | Food.kif 2484-2484 | %每個 可可粉 是 CocoaLiquor 的 initially part |
(termFormat EnglishLanguage CocoaLiquor "cocoa liquor") | Food.kif 2447-2447 |
antecedent |
(=> (and (instance ?L CocoaLiquor) (weight ?L (MeasureFn 100.0 Gram)) (instance ?S CocoaSolid) (part ?S ?L) (weight ?S (MeasureFn ?X Gram)) (instance ?B CocoaButter) (part ?B ?L) (weight ?B (MeasureFn ?Y Gram))) (and (approximateValue ?X 50.0) (approximateValue ?Y 50.0))) |
Food.kif 2463-2478 |
|
(=> (instance ?X CocoaLiquor) (exists (?H ?B) (and (instance ?H Heating) (patient ?H ?B) (instance ?B CocoaBean) (attribute ?B DryRoastAttribute) (attribute ?B HulledAttribute) (attribute ?B FermentedAttribute) (result ?H ?X) (holdsDuring ?H (attribute ?X Liquid))))) |
Food.kif 2449-2461 |
consequent |
(=> (instance ?CHOC ChocolateCandy) (and (material CocoaLiquor ?CHOC) (material Oil ?CHOC) (material Sugar ?CHOC))) |
Food.kif 2500-2505 |
|