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 16374-16377 |
|
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16372-16372 |
O argumento numero 1 de ancestor e' uma instancia de Organismo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16373-16373 |
O argumento numero 2 de ancestor e' uma instancia de Organismo |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16371-16371 |
ancestor e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16369-16369 |
ancestor e' uma instancia de Relacao Irreflexiva |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16370-16370 |
ancestor e' uma instancia de Relacao Total |
No TPTP formula. May not be expressible in strict first order. |
Merge.kif 16368-16368 |
ancestor e' uma instancia de Relacao Transitiva |