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 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 | 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 3045-3045 | 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 24532-24532 | 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 24476-24476 | The range of substring fn is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3350-3350 | AOC number is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29952-29952 | 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 1340-1340 | 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 29963-29963 | 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 24903-24903 | Postal address text is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30036-30036 | 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 19482-19482 | Syllable is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24931-24931 | 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 | |
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 5583-5583 | 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 3044-3044 | 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 24530-24530 | 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 24531-24531 | 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 24503-24503 | 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 24473-24473 | 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 3136-3136 | 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 27264-27264 | 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 27275-27275 | 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 3404-3404 | 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 2550-2550 | 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 23259-23259 | 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 3104-3104 | 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 24639-24639 | 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 4698-4698 | 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 4729-4729 | 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 4708-4708 | 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 4719-4719 | 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 18446-18446 | 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 18447-18447 | 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 3880-3880 | 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 27247-27247 | 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 27259-27259 | 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 24435-24440 |
|
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 3216-3222 |
|