Sigma KB Term Intersection

(=> (and (equal ?C (OrganicObjectFn ?S)) (subclass ?C CocoaBean) (subclass ?S Seed)) (initialPart ?S CocoaTree))	Economy.kif 4693-4699	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of cocoa bean and another kind of object is a subclass of seed, then every the other kind of object is initially part of a cocoa tree
(subclass CocoaBean Seed)	Economy.kif 4686-4686	Cocoa bean is a subclass of seed
(subclass CocoaBean PlantSubstance)	Economy.kif 4687-4687	Cocoa bean is a subclass of plant substance