No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1145-1145 |
Nucleo Atomico e' uma sub-classe de Particula Sub-atomica |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1158-1158 |
Eletron e' uma sub-classe de Particula Sub-atomica |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1168-1168 |
Neutron e' uma sub-classe de Particula Sub-atomica |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1163-1163 |
Proton e' uma sub-classe de Particula Sub-atomica |
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 |
|