Sigma KB Term Intersection

(=> (and (subclass ?T1C Tissue) (subclass ?T2C Tissue) (instance ?T1 ?T1C) (instance ?T2 ?T2C) (instance ?H Human) (part ?T1 ?H) (part ?T2 ?H) (not (equal ?T1C ?T2C)) (not (subclass ?T1C ?T2C)) (not (subclass ?T2C ?T1C)) (orientation ?T1 ?T2 Adjacent)) (modalAttribute (exists (?CT) (and (instance ?CT ConnectiveTissue) (between ?T1 ?CT ?T2))) Likely))	Merge.kif 15188-15209	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
(subclass ConnectiveTissue Tissue)	Merge.kif 15171-15171	ConnectiveTissue est une sous-classe de tissu
(subclass BoneTissue ConnectiveTissue)	Merge.kif 15211-15211	BoneTissue est une sous-classe de ConnectiveTissue
(subclass FatTissue ConnectiveTissue)	Merge.kif 15257-15257	Tissu gras est une sous-classe de ConnectiveTissue
(subclass Cartilage ConnectiveTissue)	Anatomy.kif 255-255	Cartilage est une sous-classe de ConnectiveTissue