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 1168-1168 |
Neutron 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. |
chinese_format.kif 822-822 |
|
No TPTP formula. May not be expressible in strict first order. |
english_format.kif 846-846 |
|
No TPTP formula. May not be expressible in strict first order. |
french_format.kif 498-498 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 31-31 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 34-34 |
|
No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2183-2183 |
|
No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 450-450 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 65-65 |
|
No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 519-519 |
|
No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 35-35 |
|