|
|
   SymbolicString
|
|
|
| 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 | Sequencia Simbolica e' uma sub-classe de ContentBearingPhysical |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2053-2053 | O contra-dominio de EmailLocalPartFn e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3063-3063 | O contra-dominio de ReverseFn e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24475-24475 | O contra-dominio de StringConcatenateFn e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24419-24419 | O contra-dominio de SubstringFn e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3169-3169 | AOCnumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29928-29928 | AccountNumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2938-2938 | AlphaNumericString e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2901-2901 | AlphabeticString e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1340-1340 | Caracter e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2083-2083 | ComputerPassword e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2911-2911 | DecimalDigitString e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1851-1851 | DigitalData e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29939-29939 | InvoiceNumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 218-218 | PhysicalAddress e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24846-24846 | PostalAddressText e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30012-30012 | PurchaseOrderNumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2410-2410 | SearchQuery e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19455-19455 | Syllable e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | TelecomNumber e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1580-1580 | UnicodeString e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2047-2047 | UserName e' uma sub-classe de Sequencia Simbolica |
| 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 | O argumento numero 1 de KappaFn e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3062-3062 | O argumento numero 1 de ReverseFn e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24473-24473 | O argumento numero 1 de StringConcatenateFn e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24474-24474 | O argumento numero 2 de StringConcatenateFn e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24446-24446 | O argumento numero 1 de StringLengthFn e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24416-24416 | O argumento numero 1 de SubstringFn e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3154-3154 | O argumento numero 1 de abbreviatedDisplayTitle e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27231-27231 | O argumento numero 1 de abbreviation e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3032-3032 | O argumento numero 1 de acronym e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3422-3422 | O argumento numero 1 de agentName e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2586-2586 | O argumento numero 2 de aimOfOrganization e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23207-23207 | O argumento numero 1 de alias e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3122-3122 | O argumento numero 1 de alternativeTitle e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24582-24582 | O argumento numero 3 de canonicalPlaceName e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4734-4734 | O argumento numero 2 de chanceryAddressInArea e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4765-4765 | O argumento numero 2 de chanceryFAXNumberInArea e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4744-4744 | O argumento numero 2 de chanceryMailingAddressInArea e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4755-4755 | O argumento numero 2 de chanceryTelephoneNumberInArea e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2265-2265 | O argumento numero 2 de codeMapping e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18367-18367 | O argumento numero 2 de comment e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18368-18368 | O argumento numero 3 de comment e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 901-901 | O argumento numero 5 de componentDataID e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 3880-3880 | O argumento numero 2 de confirmationNumber e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27214-27214 | O argumento numero 1 de conventionalLongName e' uma instancia de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27226-27226 | O argumento numero 1 de conventionalShortName e' uma instancia de Sequencia Simbolica |
| 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 |
|
|
|