No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21627-21627 | 血液 是 溶胶 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 14875-14875 | 血液 是 身体物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10257-10257 | 血型a 是 血液 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10276-10276 | 血型b 是 血液 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10294-10294 | 血型b 是 血液 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10313-10313 | 血型o 是 血液 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10511-10511 | Clot 是 血液 的 subclass |