| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14806-14806 | 身体物质 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 218-218 | 霉菌毒素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 309-309 | Batrachotoxin 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 323-323 | 肉毒杆菌毒素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 349-349 | Ε毒素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1454-1454 | 石房蛤毒素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1469-1469 | 芋螺毒素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1478-1478 | 河豚毒素 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2062-2062 | Excrement 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 9181-9181 | 橡胶 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 10849-10849 | 液体物质 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 11992-11992 | Bile 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12313-12313 | Saliva 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12328-12328 | Mucus 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 12344-12344 | Neurotransmitter 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14812-14812 | 动物物质 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14823-14823 | 植物物质 是 身体物质 的 subclass |
| 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. | Merge.kif 14853-14853 | 血液 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15124-15124 | 身体组织 是 身体物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 1140-1140 | BloodPlasma 是 身体物质 的 subclass |
|
|