| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1336-1336 | Cha�ne sympbolique est une sous-classe de ContentBearingPhysical |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2410-2410 | SearchQuery est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3169-3169 | AOCnumber est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 218-218 | PhysicalAddress est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1851-1851 | DigitalData est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2047-2047 | UserName est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2083-2083 | ComputerPassword est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19454-19454 | Syllable est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24845-24845 | PostalAddressText est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24873-24873 | TelecomNumber est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29916-29916 | AccountNumber est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29927-29927 | InvoiceNumber est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30000-30000 | PurchaseOrderNumber est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1340-1340 | Character est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1580-1580 | UnicodeString est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2901-2901 | AlphabeticString est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2911-2911 | DecimalDigitString est une sous-classe de cha�ne sympbolique |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2938-2938 | AlphaNumericString est une sous-classe de cha�ne sympbolique |
|
|