|
|
   SymbolicString
|
|
|
| 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 1232-1232 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1230-1230 | Symbolic string is a subclass of content bearing object |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | ComputingBrands.kif 2031-2031 | The range of EmailLocalPartFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3031-3031 | 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 22265-22265 | The range of StringConcatenateFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22208-22208 | The range of SubstringFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3147-3147 | AOC number is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28127-28127 | AccountNumber is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2908-2908 | AlphaNumericString is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2871-2871 | AlphabeticString is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1234-1234 | Character is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2089-2089 | Computer password is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 2881-2881 | DecimalDigitString is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1857-1857 | Digital data is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28138-28138 | InvoiceNumber is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 216-216 | Physical address is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22678-22678 | PostalAddressText is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 28204-28204 | PurchaseOrderNumber is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | UXExperimentalTerms.kif 2615-2615 | Search query is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 17261-17261 | Syllable is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22814-22814 | TelecomNumber is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1570-1570 | UnicodeString is a subclass of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2053-2053 | 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 875-875 |
| appearance as argument number 3 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 5290-5290 | 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 3030-3030 | 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 22263-22263 | The number 1 argument of StringConcatenateFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22264-22264 | The number 2 argument of StringConcatenateFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22235-22235 | The number 1 argument of StringLengthFn is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22205-22205 | The number 1 argument of SubstringFn 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 abbreviatedDisplayTitle is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 25517-25517 | 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 3002-3002 | 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 3390-3390 | The number 1 argument of agentName is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 2527-2527 | 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 21145-21145 | 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 3090-3090 | The number 1 argument of alternativeTitle is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 22411-22411 | The number 3 argument of canonicalPlaceName is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Government.kif 4665-4665 | 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 4696-4696 | 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 4675-4675 | 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 4686-4686 | 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 2260-2260 | The number 2 argument of codeMapping is an instance of symbolic string |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 16997-16997 | 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 16998-16998 | 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 899-899 | 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 3722-3722 | 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 25500-25500 | 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 25512-25512 | 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 22152-22157 |
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 1241-1246 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14693-14695 |
|
| No TPTP formula. May not be expressible in strict first order. | Media.kif 3202-3208 |
|
|
|
|