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 15166-15187	子類 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 15149-15149	子類 ConnectiveTissue and Tissue
(subclass BoneTissue ConnectiveTissue)	Merge.kif 15189-15189	子類 BoneTissue and ConnectiveTissue
(subclass FatTissue ConnectiveTissue)	Merge.kif 15235-15235	子類 FatTissue and ConnectiveTissue
(subclass Cartilage ConnectiveTissue)	Anatomy.kif 255-255	子類 Cartilage and ConnectiveTissue