No TPTP formula. May not be expressible in strict first order. | Merge.kif 15229-15229 | EpithelialTissue e' uma sub-classe de Tecido |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3070-3070 | LungEpithelium e' uma sub-classe de EpithelialTissue |