(=> (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 15212-15233 | |
(subclass Tissue BodySubstance) | Merge.kif 15170-15170 | |
(subclass PlantWicker Tissue) | Mid-level-ontology.kif 4593-4593 | |
(subclass Wood Tissue) | Mid-level-ontology.kif 9188-9188 | |
(subclass Tendon Tissue) | Mid-level-ontology.kif 9472-9472 | |
(subclass ConnectiveTissue Tissue) | Merge.kif 15195-15195 | |
(subclass EpithelialTissue Tissue) | Merge.kif 15253-15253 | |
(subclass MuscleTissue Tissue) | Merge.kif 15269-15269 | |
(subclass NervousTissue Tissue) | Merge.kif 15285-15285 | |
(subclass BoneMarrow Tissue) | Medicine.kif 1201-1201 |