| 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 26156-26156 | 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 26100-26100 | 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 31579-31579 | 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 31590-31590 | 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 26527-26527 | Postal address text is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31663-31663 | 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 21043-21043 | Syllable is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 26555-26555 | 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 26154-26154 | 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 26155-26155 | 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 26127-26127 | 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 26097-26097 | 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 28891-28891 | 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 28902-28902 | 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 24867-24867 | 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 26263-26263 | 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 18540-18540 | 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 18541-18541 | 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 28874-28874 | 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 28886-28886 | 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 26059-26064 |
|
| 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 |
|
|
|
|