| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2365-2365 | Relacao parcialmente Ordenada e' uma sub-classe de Relacao Transitiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2366-2366 | Relacao parcialmente Ordenada e' uma sub-classe de Relacao Anti-simetrica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2367-2367 | Relacao parcialmente Ordenada e' uma sub-classe de Relacao Reflexiva |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2368-2368 | Relacao parcialmente Ordenada e' uma sub-classe de Relacao Total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2374-2374 | Relacao totalmente Ordenada e' uma sub-classe de Relacao parcialmente Ordenada |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 130-130 | subclass e' uma instancia de Relacao parcialmente Ordenada |
|
|