| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14574-14574 |
Vertebrado de Sangue Quente e' disjunto de Vertebrado de Sangue Frio |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14578-14578 |
Anfibio e' uma sub-classe de Vertebrado de Sangue Frio |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14588-14588 |
Peixe e' uma sub-classe de Vertebrado de Sangue Frio |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 14685-14685 |
Reptil e' uma sub-classe de Vertebrado de Sangue Frio |
| No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 985-985 |
|
| No TPTP formula. May not be expressible in strict first order. |
english_format.kif 1177-1177 |
|
| No TPTP formula. May not be expressible in strict first order. |
french_format.kif 662-662 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-hindi.txt 193-193 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-it.txt 196-196 |
|
| No TPTP formula. May not be expressible in strict first order. |
japanese_format.kif 2346-2346 |
|
| No TPTP formula. May not be expressible in strict first order. |
portuguese_format.kif 614-614 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-cz.txt 230-230 |
|
| No TPTP formula. May not be expressible in strict first order. |
relations-ro.kif 683-683 |
|
| No TPTP formula. May not be expressible in strict first order. |
terms-tg.txt 197-197 |
|
