No TPTP formula. May not be expressible in strict first order. | Merge.kif 15253-15253 | EpithelialTissue est une sous-classe de tissu |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3070-3070 | LungEpithelium est une sous-classe de EpithelialTissue |