(=> (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 | Tecido e' uma sub-classe de Substancia Corporal |
(subclass PlantWicker Tissue) | Mid-level-ontology.kif 4598-4598 | PlantWicker e' uma sub-classe de Tecido |
(subclass Wood Tissue) | Mid-level-ontology.kif 9161-9161 | Wood e' uma sub-classe de Tecido |
(subclass Tendon Tissue) | Mid-level-ontology.kif 9445-9445 | Tendon e' uma sub-classe de Tecido |
(subclass ConnectiveTissue Tissue) | Merge.kif 15149-15149 | ConnectiveTissue e' uma sub-classe de Tecido |
(subclass EpithelialTissue Tissue) | Merge.kif 15207-15207 | EpithelialTissue e' uma sub-classe de Tecido |
(subclass MuscleTissue Tissue) | Merge.kif 15223-15223 | MuscleTissue e' uma sub-classe de Tecido |
(subclass NervousTissue Tissue) | Merge.kif 15239-15239 | NervousTissue e' uma sub-classe de Tecido |
(subclass BoneMarrow Tissue) | Medicine.kif 1201-1201 | BoneMarrow e' uma sub-classe de Tecido |