CocoaBean - Sigma Knowledge base Browser

appearance as argument number 1

(subclass CocoaBean Seed)	Economy.kif 5019-5019	Cocoa bean is a subclass of seed
(subclass CocoaBean PlantSubstance)	Economy.kif 5020-5020	Cocoa bean is a subclass of plant substance
(relatedInternalConcept CocoaBean CocoaSolid)	Economy.kif 5021-5021	Cocoa bean is internally related to cocoa solid
(relatedInternalConcept CocoaBean CocoaButter)	Economy.kif 5022-5022	Cocoa bean is internally related to cocoa butter
(subclass CocoaBean PlantAgriculturalArtifact)	Society.kif 998-998	Cocoa bean is a subclass of PlantAgriculturalArtifact

appearance as argument number 2

(initialPart Chocolate CocoaBean)	Food.kif 2461-2461	Every chocolate is initially part of a cocoa bean
(termFormat EnglishLanguage CocoaBean "cocoa bean")	domainEnglishFormat.kif 15464-15464	Every chocolate is initially part of a cocoa bean
(termFormat ChineseTraditionalLanguage CocoaBean "可可豆")	domainEnglishFormat.kif 15465-15465	Every chocolate is initially part of a cocoa bean
(termFormat ChineseLanguage CocoaBean "可可豆")	domainEnglishFormat.kif 15466-15466	Every chocolate is initially part of a cocoa bean

antecedent

(=>
    (and
        (equal ?C
            (OrganicObjectFn ?S))
        (subclass ?C CocoaBean)
        (subclass ?S Seed))
    (initialPart ?S CocoaTree))

If equal X and Object made from Y, X is a subclass of cocoa bean, and Y is a subclass of seed, then every Y is initially part of a cocoa tree

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)))))

If X is an instance of cocoa liquor, then All of the following hold: (1) there exist Y (2) Z such that Y is an instance of heating (3) Z is a patient of Y (4) Z is an instance of cocoa bean (5) dry roast is an attribute of Z (6) hulled is an attribute of Z (7) fermented is an attribute of Z (8) X is a result of Y (9) liquid is an attribute of X holds during Y