| (=> (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 Tissue BodySubstance) | Merge.kif 15146-15146 | |
| (subclass PlantWicker Tissue) | Mid-level-ontology.kif 4598-4598 | |
| (subclass Wood Tissue) | Mid-level-ontology.kif 9160-9160 | |
| (subclass Tendon Tissue) | Mid-level-ontology.kif 9444-9444 | |
| (subclass ConnectiveTissue Tissue) | Merge.kif 15171-15171 | |
| (subclass EpithelialTissue Tissue) | Merge.kif 15229-15229 | |
| (subclass MuscleTissue Tissue) | Merge.kif 15245-15245 | |
| (subclass NervousTissue Tissue) | Merge.kif 15261-15261 | |
| (subclass BoneMarrow Tissue) | Medicine.kif 1201-1201 |
|
|