| (=> (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 | |
| (subclass Tissue BodySubstance) | Merge.kif 15124-15124 | |
| (subclass PlantWicker Tissue) | Mid-level-ontology.kif 4598-4598 | |
| (subclass Wood Tissue) | Mid-level-ontology.kif 9161-9161 | |
| (subclass Tendon Tissue) | Mid-level-ontology.kif 9445-9445 | |
| (subclass ConnectiveTissue Tissue) | Merge.kif 15149-15149 | |
| (subclass EpithelialTissue Tissue) | Merge.kif 15207-15207 | |
| (subclass MuscleTissue Tissue) | Merge.kif 15223-15223 | |
| (subclass NervousTissue Tissue) | Merge.kif 15239-15239 | |
| (subclass BoneMarrow Tissue) | Medicine.kif 1201-1201 |
|
|