No TPTP formula. May not be expressible in strict first order. |
chinese_format.kif 3686-3688 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16352-16355 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16350-16350 |
O argumento numero 1 de ancestor e' uma instancia de Organismo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16351-16351 |
O argumento numero 2 de ancestor e' uma instancia de Organismo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16349-16349 |
ancestor e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16347-16347 |
ancestor e' uma instancia de Relacao Irreflexiva |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16348-16348 |
ancestor e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16346-16346 |
ancestor e' uma instancia de Relacao Transitiva |