| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13241-13241 | D�clarer est une sous-classe de LinguisticCommunication |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 931-931 | Founding est une sous-classe de d�clarer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1008-1008 | Accrediting est une sous-classe de d�clarer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1021-1021 | Divorcing est une sous-classe de d�clarer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 1036-1036 | Appointing est une sous-classe de d�clarer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7961-7961 | Wedding est une sous-classe de d�clarer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 13822-13822 | PassingABill est une sous-classe de d�clarer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15877-15877 | Proclaiming est une sous-classe de d�clarer |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 16276-16276 | GameCall est une sous-classe de d�clarer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 10788-10788 | LegalDecision est une sous-classe de d�clarer |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 13253-13253 | Naming est une sous-classe de d�clarer |
|
|