SubstringFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23773-23785 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23769-23769 | The number 1 argument of SubstringFn is an instance of symbolic string |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23770-23770 | The number 2 argument of SubstringFn is an instance of nonnegative integer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23771-23771 | The number 3 argument of SubstringFn is an instance of nonnegative integer |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23767-23767 | SubstringFn is an instance of partial valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23768-23768 | SubstringFn is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23766-23766 | SubstringFn is an instance of ternary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23772-23772 | The range of SubstringFn is an instance of symbolic string |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4715-4715 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4714-4714 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4713-4713 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Media.kif 3056-3077 |
|
![]() |
![]() |