Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Economy.kif 5258-5265	If a kind of object is equal to Object made from a kind of organic object and a kind of object is a subclass of object, then a kind of organic object is a subclass of organism or the kind of organic object is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14913-14913	Anatomical structure is a subclass of organic object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14936-14936	Abnormal anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14949-14949	Body part is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14996-14996	Animal anatomical structure is a subclass of anatomical structure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15007-15007	Plant anatomical structure is a subclass of anatomical structure