No TPTP formula. May not be expressible in strict first order. | Merge.kif 15207-15207 | Epithelial tissue is a subclass of tissue |
No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3070-3070 | Lung epithelium is a subclass of epithelial tissue |