| 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 1333-1333 | |
| 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 1331-1331 | 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 3047-3047 | 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 26139-26139 | 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 26083-26083 | The range of substring fn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4073-4073 | AOC number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31822-31822 | Account number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2940-2940 | Alpha numeric string is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2903-2903 | Alphabetic string is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1335-1335 | Character is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2215-2215 | Computer password is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2913-2913 | Decimal digit string is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1982-1982 | Digital data is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31833-31833 | Invoice number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 219-219 | Physical address is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26510-26510 | Postal address text is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31906-31906 | Purchase order number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2410-2410 | Search query is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 21026-21026 | Syllable is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26538-26538 | Telecom number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1582-1582 | Unicode string is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2178-2178 | User name is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 834-834 | User name is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 870-870 | User name is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 510-510 | User name is a subclass of symbolic string |
| 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 5592-5592 | 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 3046-3046 | 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 26137-26137 | 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 26138-26138 | 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 26110-26110 | 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 26080-26080 | 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 3138-3138 | 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 29134-29134 | The number 1 argument of abbreviation is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29145-29145 | 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 3406-3406 | 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 2547-2547 | 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 24850-24850 | 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 3106-3106 | 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 26246-26246 | 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 4695-4695 | 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 4726-4726 | 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 4705-4705 | 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 4716-4716 | 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 2267-2267 | 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 18539-18539 | 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 18540-18540 | 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 1010-1010 | 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 3898-3898 | 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 29117-29117 | 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 29129-29129 | 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 26042-26047 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1342-1347 |
|
| 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 3218-3224 |
|
|
|
|