| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2260-2260 | Relation sym�trique est une sous-classe de relation binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2393-2393 | Relation �quivalente est une sous-classe de relation sym�trique |
|
|