Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Merge.kif 15212-15233	Classe est une sous-classe de tissu classe est une sous-classe de tissu objet est une instance de classe objet est une instance de classe objet est une instance de humain objet est une partie de objet objet est une partie de objet classe est classe classe est une sous-classe de classe classe est une sous-classe de classe objet est Adjacent � objet l'argument entit� entit� est une instance de ConnectiveTissue entit� est entre objet et objet a la force modale de Likely
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15195-15195	ConnectiveTissue est une sous-classe de tissu
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15235-15235	BoneTissue est une sous-classe de ConnectiveTissue
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15281-15281	Tissu gras est une sous-classe de ConnectiveTissue
No TPTP formula. May not be expressible in strict first order.	Anatomy.kif 255-255	Cartilage est une sous-classe de ConnectiveTissue