No TPTP formula. May not be expressible in strict first order. | Merge.kif 15207-15207 | EpithelialTissue 是 身体组织 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3070-3070 | LungEpithelium 是 EpithelialTissue 的 subclass |