| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2159-2159 | Relation est une sous-classe de abstrait |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2176-2176 | Relation simple est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2194-2194 | Relation total est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2223-2223 | Relation partielle est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2232-2232 | Relation binaire est une sous-classe de relation |
| 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 2564-2564 | Relation de probabilit� est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2656-2656 | Relation spatial est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2663-2663 | Relation temporel est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2671-2671 | IntentionalRelation est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2854-2854 | Relation ternaire est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2861-2861 | Relation quaternaire est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 2868-2868 | Relation quinternaire est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3339-3339 | Predicat est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3522-3522 | Relation a arit� variable est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 3533-3533 | Relation �tendue aux quantit�es est une sous-classe de relation |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 965-965 | PPPBasedEconomicValuation est une sous-classe de relation |
|
|