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 16423-16426 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16421-16421 |
O argumento numero 1 de ancestor e' uma instancia de Organismo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16422-16422 |
O argumento numero 2 de ancestor e' uma instancia de Organismo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16420-16420 |
ancestor e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16418-16418 |
ancestor e' uma instancia de Relacao Irreflexiva |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16419-16419 |
ancestor e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16417-16417 |
ancestor e' uma instancia de Relacao Transitiva |