Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4629-4634	If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of coffee bean and another kind of object is a subclass of seed, then every the other kind of object is initially part of a coffee plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4598-4598	Coffee plant is a subclass of shrub
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4611-4611	Coffea arabica is a subclass of coffee plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4617-4617	Coffea robusta is a subclass of coffee plant