No TPTP formula. May not be expressible in strict first order. | Merge.kif 13842-13851 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 13831-13840 | |
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 1084-1084 | 純物质 是 物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 513-513 | 亲水性脂质头 是 純物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | VirusProteinAndCellPart.kif 524-524 | 疏水脂质尾 是 純物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21664-21664 | 离子 是 純物质 的 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 |
![]() |