No TPTP formula. May not be expressible in strict first order. | Merge.kif 1133-1133 | 次原子粒子 是 元素物质 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1145-1145 | 原子核 是 次原子粒子 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1158-1158 | 电子 是 次原子粒子 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1163-1163 | 质子 是 次原子粒子 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1168-1168 | 中子 是 次原子粒子 的 subclass |
![]() |