StringLengthFn |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23801-23806 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23799-23799 | 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 23798-23798 | StringLengthFn is an instance of single valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23797-23797 | StringLengthFn is an instance of total valued relation |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23796-23796 | StringLengthFn is an instance of unary function |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23800-23800 | The range of StringLengthFn is an instance of nonnegative integer |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4683-4683 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4682-4682 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 4681-4681 |
antecedent |
![]() |
consequent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23819-23821 | A symbolic string is a nonnegative integer characters long if and only if the nonnegative integer is equal to the length of the symbolic string |
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3172-3174 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3159-3161 |
|
No TPTP formula. May not be expressible in strict first order. | Transportation.kif 3182-3184 |
|
![]() |
![]() |