(=> (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 | |
(subclass ConnectiveTissue Tissue) | Merge.kif 15171-15171 | |
(subclass BoneTissue ConnectiveTissue) | Merge.kif 15211-15211 | |
(subclass FatTissue ConnectiveTissue) | Merge.kif 15257-15257 | |
(subclass Cartilage ConnectiveTissue) | Anatomy.kif 255-255 |