| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1397-1397 | Expression linguistique est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24904-24904 | PostalAddressText est une sous-classe de expression linguistique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1405-1405 | Langage est une sous-classe de expression linguistique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1543-1543 | Mot est une sous-classe de expression linguistique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15320-15320 | Morph�me est une sous-classe de expression linguistique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15347-15347 | Phrase est une sous-classe de expression linguistique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15405-15405 | Texte est une sous-classe de expression linguistique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 15488-15488 | Phrase est une sous-classe de expression linguistique |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2902-2902 | AlphabeticString est une sous-classe de expression linguistique |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2939-2939 | AlphaNumericString est une sous-classe de expression linguistique |
|
|