| No TPTP formula. May not be expressible in strict first order. | Merge.kif 200-205 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2558-2558 | InheritableRelation est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2177-2177 | Relation simple est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2195-2195 | Relation total est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2233-2233 | Relation binaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2401-2401 | R�le d�pendant du cas est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2565-2565 | Relation de probabilit� est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2657-2657 | Relation spatial est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2664-2664 | Relation temporel est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2670-2670 | IntentionalRelation est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2696-2696 | Attitude propositionnelle est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2709-2709 | Attitude d'objet est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2855-2855 | Relation ternaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2862-2862 | Relation quaternaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2869-2869 | Relation quinternaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3340-3340 | Predicat est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3351-3351 | Function est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3360-3360 | Function unaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3400-3400 | Fonction binaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3452-3452 | Fonction ternaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3463-3463 | Function quaternaire est une sous-classe de InheritableRelation |
| 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 3491-3491 | Pr�dicat ternaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3502-3502 | Pr�dicat quaternaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3513-3513 | Predicate quinternaire est une sous-classe de InheritableRelation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3534-3534 | Relation �tendue aux quantit�es est une sous-classe de InheritableRelation |
|
|