|
|
   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 24474-24474 | 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 24418-24418 | 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 29916-29916 | 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 29927-29927 | 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 24845-24845 | PostalAddressText e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30000-30000 | 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 19454-19454 | Syllable e' uma sub-classe de Sequencia Simbolica |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24873-24873 | 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 24472-24472 | 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 24473-24473 | 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 24445-24445 | 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 24415-24415 | 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 27219-27219 | 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 23206-23206 | 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 24581-24581 | 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 18389-18389 | 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 18390-18390 | 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 27202-27202 | 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 27214-27214 | 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 24377-24382 |
|
| 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 |
|
|
|