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