(=> (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 | 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 9160-9160 | Wood est une sous-classe de tissu |
(subclass Tendon Tissue) | Mid-level-ontology.kif 9444-9444 | Tendon est une sous-classe de tissu |
(subclass ConnectiveTissue Tissue) | Merge.kif 15171-15171 | ConnectiveTissue est une sous-classe de tissu |
(subclass EpithelialTissue Tissue) | Merge.kif 15229-15229 | EpithelialTissue est une sous-classe de tissu |
(subclass MuscleTissue Tissue) | Merge.kif 15245-15245 | MuscleTissue est une sous-classe de tissu |
(subclass NervousTissue Tissue) | Merge.kif 15261-15261 | NervousTissue est une sous-classe de tissu |
(subclass BoneMarrow Tissue) | Medicine.kif 1201-1201 | BoneMarrow est une sous-classe de tissu |