Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4214-4218	If a kind of object is a subclass of plant leaf and a kind of object is equal to leafy green vegetable, then every the kind of object is initially part of a plant
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4210-4210	Leafy green vegetable is a subclass of vegetable
No TPTP formula. May not be expressible in strict first order.	Food.kif 2121-2121	Arugula is a subclass of leafy green vegetable
No TPTP formula. May not be expressible in strict first order.	Food.kif 2564-2564	Endive is a subclass of leafy green vegetable
No TPTP formula. May not be expressible in strict first order.	Food.kif 2619-2619	Lettuce is a subclass of leafy green vegetable
No TPTP formula. May not be expressible in strict first order.	Food.kif 3321-3321	Radicchio is a subclass of leafy green vegetable
No TPTP formula. May not be expressible in strict first order.	Food.kif 3334-3334	Romaine lettuce is a subclass of leafy green vegetable
No TPTP formula. May not be expressible in strict first order.	Food.kif 3474-3474	Spinach is a subclass of leafy green vegetable