No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15236-15236 |
BoneTissue 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 8735-8735 |
胆固醇 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 21659-21659 |
蜜糖 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14922-14922 |
Meat 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 15271-15271 |
MuscleTissue 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9484-9484 |
汗 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 9473-9473 |
肌腱 是 动物物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7620-7620 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7619-7619 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7618-7618 |
|