No TPTP formula. May not be expressible in strict first order. | Merge.kif 14834-14834 | 动物物质 是 身体物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8707-8707 | 胆固醇 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9445-9445 | 肌腱 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9456-9456 | 汗 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21631-21631 | 蜜糖 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14898-14898 | Meat 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15212-15212 | BoneTissue 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 15247-15247 | MuscleTissue 是 动物物质 的 subclass |