Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Food.kif 645-647	If a kind of object is a subclass of coffee, then every coffee bean is initially part of a a kind of object
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 4624-4624	Coffee bean is a subclass of seed
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4625-4625	Coffee bean is a subclass of food from plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4636-4636	Coffee arabica is a subclass of coffee bean
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4660-4660	Coffee robusta is a subclass of coffee bean