| CocoaBean | |
| appearance as argument number 1 |
|
|
| (relatedInternalConcept CocoaBean CocoaButter) | Economy.kif 4804-4804 | |
| (relatedInternalConcept CocoaBean CocoaSolid) | Economy.kif 4803-4803 | |
| (subclass CocoaBean PlantSubstance) | Economy.kif 4802-4802 | |
| (subclass CocoaBean Seed) | Economy.kif 4801-4801 |
| appearance as argument number 2 |
|
|
| (initialPart Chocolate CocoaBean) | Food.kif 2439-2439 | |
| (termFormat ChineseLanguage CocoaBean "可可豆") | domainEnglishFormat.kif 15475-15475 | |
| (termFormat ChineseTraditionalLanguage CocoaBean "可可豆") | domainEnglishFormat.kif 15474-15474 | |
| (termFormat EnglishLanguage CocoaBean "cocoa bean") | domainEnglishFormat.kif 15473-15473 |
| antecedent |
|
|
| (=> (and (equal ?C (OrganicObjectFn ?S)) (subclass ?C CocoaBean) (subclass ?S Seed)) (initialPart ?S CocoaTree)) |
Economy.kif 4808-4814 |
| consequent |
|
|
| (=> (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 |
|
|
|