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	子類 Class and Tissue 子類 Class and Tissue 例 Object and Class 例 Object and Class 例 Object and Human 部分 Object and Object 部分 Object and Object 等於 Class and Class 子類 Class and Class 子類 Class and Class 方位 Object, Object and 鄰模態屬性 entity 例 entity and ConnectiveTissue 之間 Object, entity and Object and 容易
(subclass ConnectiveTissue Tissue)	Merge.kif 15171-15171	子類 ConnectiveTissue and Tissue
(subclass BoneTissue ConnectiveTissue)	Merge.kif 15211-15211	子類 BoneTissue and ConnectiveTissue
(subclass FatTissue ConnectiveTissue)	Merge.kif 15257-15257	子類 FatTissue and ConnectiveTissue
(subclass Cartilage ConnectiveTissue)	Anatomy.kif 255-255	子類 Cartilage and ConnectiveTissue