SubstringFn |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24420-24432 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24416-24416 | The number 1 argument of substring fn is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24417-24417 | The number 2 argument of substring fn is an instance of nonnegative integer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24418-24418 | The number 3 argument of substring fn is an instance of nonnegative integer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24414-24414 | Substring fn is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24415-24415 | Substring fn is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24413-24413 | Substring fn is an instance of ternary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24419-24419 | The range of substring fn is an instance of symbolic string |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4706-4706 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4705-4705 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4704-4704 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 65554-65554 |
antecedent |
consequent |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3068-3089 |
|