| 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 1310-1310 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1308-1308 | Symbolic string is a subclass of content bearing physical |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2053-2053 | The range of email local part fn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3063-3063 | 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 24365-24365 | The range of string concatenate fn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24309-24309 | The range of substring fn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3169-3169 | AOC number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29843-29843 | Account number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2938-2938 | Alpha numeric string is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2901-2901 | Alphabetic string is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1312-1312 | Character is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2083-2083 | Computer password is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2911-2911 | Decimal digit string is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1851-1851 | Digital data is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29854-29854 | Invoice number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 218-218 | Physical address is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24736-24736 | Postal address text is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29927-29927 | Purchase order number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2616-2616 | Search query is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19236-19236 | Syllable is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24764-24764 | Telecom number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1580-1580 | Unicode string is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2047-2047 | 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 5513-5513 | 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 3062-3062 | 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 24363-24363 | The number 1 argument of string concatenate fn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24364-24364 | The number 2 argument of string concatenate fn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24336-24336 | The number 1 argument of string length fn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24306-24306 | The number 1 argument of substring fn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3154-3154 | The number 1 argument of abbreviated display title is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27146-27146 | 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 3032-3032 | 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 3422-3422 | The number 1 argument of agent name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2586-2586 | 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 23156-23156 | 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 3122-3122 | The number 1 argument of alternative title is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24472-24472 | The number 3 argument of canonical place name is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4734-4734 | 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 4765-4765 | 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 4744-4744 | 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 4755-4755 | 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 2265-2265 | The number 2 argument of code mapping is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 18207-18207 | 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 18208-18208 | 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 901-901 | 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. | FinancialOntology.kif 3891-3891 | The number 2 argument of confirmation number is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 27129-27129 | 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 27141-27141 | The number 1 argument of conventional short name 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 24268-24273 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1319-1324 |
|
| 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 |
|
|
|
|