| SymbolicString(symbolic string) | | Maxwell's_equations, character_set, expression, formula, mathematical_statement, primitive, simultaneous_equations, substring |
| 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 1291-1291 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1289-1289 | Symbolic string is a subclass of content bearing object |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2021-2021 | The range of EmailLocalPartFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3051-3051 | The range of the reverse of is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23828-23828 | The range of StringConcatenateFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23772-23772 | The range of SubstringFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3176-3176 | AOC number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29316-29316 | AccountNumber is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2926-2926 | AlphaNumericString is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2889-2889 | AlphabeticString is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1293-1293 | Character is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2088-2088 | Computer password is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2899-2899 | DecimalDigitString is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1856-1856 | Digital data is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29327-29327 | InvoiceNumber is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 216-216 | Physical address is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24196-24196 | PostalAddressText is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29392-29392 | PurchaseOrderNumber is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2620-2620 | Search query is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 18806-18806 | Syllable is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24224-24224 | TelecomNumber is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1566-1566 | UnicodeString is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2052-2052 | User name is a subclass of symbolic string |
| 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 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5482-5482 | The number 1 argument of kappa is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3050-3050 | The number 1 argument of the reverse of is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23826-23826 | The number 1 argument of StringConcatenateFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23827-23827 | The number 2 argument of StringConcatenateFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23799-23799 | The number 1 argument of StringLengthFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23769-23769 | The number 1 argument of SubstringFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3142-3142 | The number 1 argument of abbreviatedDisplayTitle is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26601-26601 | The number 1 argument of abbreviation is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3020-3020 | The number 1 argument of acronym is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3410-3410 | The number 1 argument of agentName is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2571-2571 | The number 2 argument of aim of organization is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22630-22630 | The number 1 argument of alias is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3110-3110 | The number 1 argument of alternativeTitle is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23933-23933 | The number 3 argument of canonicalPlaceName is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4714-4714 | The number 2 argument of chancery address in area is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4745-4745 | The number 2 argument of chanceryFAX number in area is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4724-4724 | The number 2 argument of chancery mailing address in area is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4735-4735 | The number 2 argument of chancery telephone number in area is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2256-2256 | The number 2 argument of codeMapping is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18093-18093 | The number 2 argument of comment is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18094-18094 | The number 3 argument of comment is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 899-899 | The number 5 argument of component data ID is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26584-26584 | The number 1 argument of conventional long name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26596-26596 | The number 1 argument of conventional short name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Economy.kif 3624-3624 | The number 1 argument of currency code is an instance of symbolic string |
| 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 23731-23736 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1300-1305 |
|
| 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 3222-3228 |
|
|
|
|