CocoaTree - Sigma Knowledge base Browser

appearance as argument number 1

Cocoa tree is a subclass of evergreen tree

appearance as argument number 2

(termFormat EnglishLanguage CocoaTree "cocoa tree")	domainEnglishFormat.kif 15460-15460
(termFormat ChineseTraditionalLanguage CocoaTree "可可樹")	domainEnglishFormat.kif 15461-15461
(termFormat ChineseLanguage CocoaTree "可可樹")	domainEnglishFormat.kif 15462-15462

consequent

(=>
    (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