No TPTP formula. May not be expressible in strict first order. | Merge.kif 1336-1336 | Symbolic string is a subclass of content bearing physical |
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. | Transportation.kif 3169-3169 | AOC 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. | QoSontology.kif 1851-1851 | Digital data 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. | QoSontology.kif 2083-2083 | Computer password is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 19455-19455 | Syllable is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24846-24846 | Postal address text is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24874-24874 | Telecom number is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29928-29928 | Account number is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 29939-29939 | Invoice number is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 30012-30012 | Purchase order number 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. | Media.kif 1580-1580 | Unicode 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. | Media.kif 2911-2911 | Decimal digit string 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 |