| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2365-2365 | Relation partiellement dirig�e est une sous-classe de relation transitive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2366-2366 | Relation partiellement dirig�e est une sous-classe de relation antisym�trique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2367-2367 | Relation partiellement dirig�e est une sous-classe de relation r�flexive |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2368-2368 | Relation partiellement dirig�e est une sous-classe de relation total |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2374-2374 | Relation totalement dirig�e est une sous-classe de relation partiellement dirig�e |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 130-130 | subclass est une instance de relation partiellement dirig�e |
|
|