| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1772-1786 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1173-1173 | 复合物质 是 純物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 445-445 | 化学剂 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1453-1453 | 石房蛤毒素 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1468-1468 | 芋螺毒素 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | WMD.kif 1477-1477 | 河豚毒素 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | TransnationalIssues.kif 81-81 | 非法药物 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1701-1701 | 蜡 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6474-6474 | 共轭物质 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8559-8559 | 有机化合物 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8721-8721 | 化学酸 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8738-8738 | 化学基地 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8742-8742 | 盐 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 8808-8808 | 油 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21730-21730 | 原子团 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14307-14307 | 水 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 14699-14699 | 碳水化物 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15664-15664 | 分子 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 1996-1996 | 重晶石 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2013-2013 | 铬铁矿 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2034-2034 | 天然气 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2044-2044 | 磷酸盐 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2050-2050 | 钾肥 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2639-2639 | DDT 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7166-7166 | 二氧化硫 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7201-7201 | 一氧化氮 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 7226-7226 | 二氧化氮 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Food.kif 3409-3409 | CarbonDioxide 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5610-5610 | 矾土 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5621-5621 | 铁矿 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5816-5816 | 化学产品 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5921-5921 | 水泥 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 5983-5983 | 磷酸 是 复合物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Cars.kif 1788-1788 | Chlorofluorocarbon 是 复合物质 的 subclass |
|
|