|
|
   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 | |
| (subclass CocoaLiquor Chocolate) | Food.kif 2441-2441 |
| appearance as argument number 2 |
|
|
| (initialPart CocoaButter CocoaLiquor) | Food.kif 2492-2492 | |
| (initialPart CocoaSolid CocoaLiquor) | Food.kif 2484-2484 | |
| (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 |
|
|
|