| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1053-1058 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1231-1239 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1041-1041 | 物质 是 自身连接物体 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1693-1693 | 汽油 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 2556-2556 | 电力 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 4589-4589 | 条编材料 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8822-8822 | 表面活性剂 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8950-8950 | 粉末 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17862-17862 | 爆炸性物质 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17904-17904 | 岩石 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1067-1067 | 合成物质 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1080-1080 | 天然物质 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1084-1084 | 純物质 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1182-1182 | 混合物 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14311-14311 | 矿物 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14671-14671 | 生物活性物质 是 物质 的 subclass |
| 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. | Medicine.kif 3082-3082 | DrugCandidate 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 3793-3793 | Creatinine 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2664-2664 | 流出的 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2762-2762 | 有毒物质 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7110-7110 | 水晶 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7488-7488 | 液体滴 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1281-1281 | 导体物质 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | engineering.kif 1286-1286 | 绝缘体物质 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4158-4158 | 糖 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 4750-4750 | 阿拉伯树胶 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2471-2471 | 化学酸 是 物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 2975-2975 | Lubricant 是 物质 的 subclass |
|
|