![]() |
![]() ![]() ![]()
|
![]() |
|
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 1348-1348 | |
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 1346-1346 | 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 26137-26137 | 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 26081-26081 | The range of substring fn is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 4075-4075 | AOC number is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31820-31820 | 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 1350-1350 | 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 31831-31831 | 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 26508-26508 | Postal address text is a subclass of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 31904-31904 | 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 26536-26536 | 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 5607-5607 | 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 26135-26135 | 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 26136-26136 | 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 26108-26108 | 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 26078-26078 | 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 29132-29132 | 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 29143-29143 | 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 24848-24848 | 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 26244-26244 | 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 18554-18554 | 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 18555-18555 | 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 29115-29115 | 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 29127-29127 | 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 26040-26045 |
|
No TPTP formula. May not be expressible in strict first order. | Merge.kif 1357-1362 |
|
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 |
|
![]() |
![]() |