No TPTP formula. May not be expressible in strict first order. | Merge.kif 1133-1133 | Particule subatomique est une sous-classe de substance �l�mentaire |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1145-1145 | Noyau atomique est une sous-classe de Particule subatomique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1158-1158 | �l�ctron Est une sous-classe de Particule subatomique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1163-1163 | Proton est une sous-classe de Particule subatomique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1168-1168 | Neutron est une sous-classe de Particule subatomique |