No TPTP formula. May not be expressible in strict first order. | Merge.kif 1133-1133 | Subatomic particle is a subclass of elemental substance |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1145-1145 | Atomic nucleus is a subclass of subatomic particle |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1158-1158 | Electron is a subclass of subatomic particle |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1163-1163 | Proton is a subclass of subatomic particle |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1168-1168 | Neutron is a subclass of subatomic particle |