Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15166-15187	If a class is a subclass of tissue and another class is a subclass of tissue and an object is an instance of the class and another object is an instance of the other class and a third object is an instance of human and the object is a part of the third object and the other object is a part of the third object and the class is not equal to the other class and the class is not a subclass of the other class and the other class is not a subclass of the class and the object is adjacent to the other object, then the statement there exists an entity such that the entity is an instance of connective tissue and the entity is between the object and the other object has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15149-15149	Connective tissue is a subclass of tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15189-15189	Bone tissue is a subclass of connective tissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15235-15235	Fat tissue is a subclass of connective tissue
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 255-255	Cartilage is a subclass of connective tissue