| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3478-3478 | Pr�dicat binaire est une sous-classe de predicat |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3479-3479 | Pr�dicat binaire est une sous-classe de relation binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3480-3480 | Pr�dicat binaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2400-2400 | R�le d�pendant du cas est une sous-classe de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 643-643 | BinaryRelationExtendedToQuantities est une sous-classe de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Geography.kif 6406-6406 | SheddingPart est une sous-classe de pr�dicat binaire |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 129-129 | subclass est une instance de pr�dicat binaire |
|
|