|
|
   CocoaSolid
|
|
|
| appearance as argument number 1 |
|
|
| (documentation CocoaSolid EnglishLanguage "CocoaSolid is is extracted from chocolate liquor, roasted cocoa beans that have been ground into a liquid state.[wikipedia]") | Food.kif 2482-2483 | |
| (externalImage CocoaSolid "http://upload.wikimedia.org/wikipedia/commons/ thumb/ f/ f1/ Nestl%C3%A9_Milo.jpg/ 800px-Nestl%C3%A9_Milo.jpg ") | pictureList.kif 1431-1431 | |
| (initialPart CocoaSolid CocoaLiquor) | Food.kif 2484-2484 | %每个 可可粉 是 CocoaLiquor 的 initially part |
| (roomTempState CocoaSolid Solid) | Food.kif 2481-2481 | roomTempState 可可粉 and 固体 |
| (subclass CocoaSolid Chocolate) | Food.kif 2480-2480 | 可可粉 是 Chocolate 的 subclass |
| appearance as argument number 2 |
|
|
| (relatedInternalConcept CocoaBean CocoaSolid) | Economy.kif 4688-4688 | 可可豆 和 可可粉 是 内部相关 |
| (termFormat ChineseLanguage CocoaSolid "可可粉") | domainEnglishFormat.kif 15450-15450 | |
| (termFormat ChineseTraditionalLanguage CocoaSolid "可可粉") | domainEnglishFormat.kif 15449-15449 | |
| (termFormat EnglishLanguage CocoaSolid "cocoa solid") | domainEnglishFormat.kif 15448-15448 |
| 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 |
|
|
|
|
