No TPTP formula. May not be expressible in strict first order. | Merge.kif 5718-5718 | Chemin du graph est une sous-classe de graph dirig�e |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5752-5752 | Circuit du graph est une sous-classe de chemin du graph |