| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13820-13829 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13809-13818 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13798-13807 | |
| 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. | VirusProteinAndCellPart.kif 514-514 | 亲水性脂质头 是 純物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 525-525 | 疏水脂质尾 是 純物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21665-21665 | 离子 是 純物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1093-1093 | 元素物质 是 純物质 的 subclass |
| 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. | Geography.kif 2647-2647 | 落叶 是 純物质 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 2735-2735 | 温室气体 是 純物质 的 subclass |
|
|