(=> (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 | Tissu est une sous-classe de substance corporel |
(subclass PlantWicker Tissue) | Mid-level-ontology.kif 4598-4598 | PlantWicker est une sous-classe de tissu |
(subclass Wood Tissue) | Mid-level-ontology.kif 9161-9161 | Wood est une sous-classe de tissu |
(subclass Tendon Tissue) | Mid-level-ontology.kif 9445-9445 | Tendon est une sous-classe de tissu |
(subclass ConnectiveTissue Tissue) | Merge.kif 15149-15149 | ConnectiveTissue est une sous-classe de tissu |
(subclass EpithelialTissue Tissue) | Merge.kif 15207-15207 | EpithelialTissue est une sous-classe de tissu |
(subclass MuscleTissue Tissue) | Merge.kif 15223-15223 | MuscleTissue est une sous-classe de tissu |
(subclass NervousTissue Tissue) | Merge.kif 15239-15239 | NervousTissue est une sous-classe de tissu |
(subclass BoneMarrow Tissue) | Medicine.kif 1201-1201 | BoneMarrow est une sous-classe de tissu |