SymbolicString(cha�ne sympbolique) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1644-1644 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1338-1338 | |
No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 229-229 | |
No TPTP formula. May not be expressible in strict first order. | spanish_format.kif 271-271 | |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1336-1336 | Cha�ne sympbolique est une sous-classe de ContentBearingPhysical |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2053-2053 | Le domaine de EmailLocalPartFn est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3063-3063 | Le domaine de ReverseFn est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24475-24475 | Le domaine de StringConcatenateFn est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24419-24419 | Le domaine de SubstringFn est une instance 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. | Mid-level-ontology.kif 29928-29928 | AccountNumber 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 |
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. | Merge.kif 1340-1340 | Character 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. | Media.kif 2911-2911 | DecimalDigitString 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. | Mid-level-ontology.kif 29939-29939 | InvoiceNumber 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. | Mid-level-ontology.kif 24846-24846 | PostalAddressText est une sous-classe de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30012-30012 | PurchaseOrderNumber est une sous-classe de cha�ne sympbolique |
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. | Mid-level-ontology.kif 19455-19455 | Syllable est une sous-classe de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | TelecomNumber 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. | QoSontology.kif 2047-2047 | UserName est une sous-classe de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 834-834 | |
No TPTP formula. May not be expressible in strict first order. | english_format.kif 870-870 | |
No TPTP formula. May not be expressible in strict first order. | french_format.kif 510-510 | |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 5582-5582 | Le nombre 1 argument de KappaFn est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3062-3062 | Le nombre 1 argument de ReverseFn est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24473-24473 | Le nombre 1 argument de StringConcatenateFn est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24474-24474 | Le nombre 2 argument de StringConcatenateFn est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24446-24446 | Le nombre 1 argument de StringLengthFn est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24416-24416 | Le nombre 1 argument de SubstringFn est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3154-3154 | Le nombre 1 argument de abbreviatedDisplayTitle est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27231-27231 | Le nombre 1 argument de abbreviation est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3032-3032 | Le nombre 1 argument de acronym est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3422-3422 | Le nombre 1 argument de agentName est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Government.kif 2586-2586 | Le nombre 2 argument de aimOfOrganization est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23207-23207 | Le nombre 1 argument de alias est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3122-3122 | Le nombre 1 argument de alternativeTitle est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24582-24582 | Le nombre 3 argument de canonicalPlaceName est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4734-4734 | Le nombre 2 argument de chanceryAddressInArea est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4765-4765 | Le nombre 2 argument de chanceryFAXNumberInArea est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4744-4744 | Le nombre 2 argument de chanceryMailingAddressInArea est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Government.kif 4755-4755 | Le nombre 2 argument de chanceryTelephoneNumberInArea est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Media.kif 2265-2265 | Le nombre 2 argument de codeMapping est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18367-18367 | Le nombre 2 argument de comment est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Merge.kif 18368-18368 | Le nombre 3 argument de comment est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 901-901 | Le nombre 5 argument de componentDataID est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3880-3880 | Le nombre 2 argument de confirmationNumber est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27214-27214 | Le nombre 1 argument de conventionalLongName est une instance de cha�ne sympbolique |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27226-27226 | Le nombre 1 argument de conventionalShortName est une instance de cha�ne sympbolique |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24378-24383 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1347-1352 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14715-14717 |
|
No TPTP formula. May not be expressible in strict first order. | Media.kif 3234-3240 |