stringLength |
appearance as argument number 1 |
![]() |
(documentation stringLength EnglishLanguage "(stringLength ?NonnegativeInteger ?SymbolicString) means that the number of Characters in ?SymbolicString is ?NonnegativeInteger. Example: (stringLength 14 "Charles Darwin"), which is a True Sentence.") | Mid-level-ontology.kif 26122-26126 | |
(domain stringLength 1 NonnegativeInteger) | Mid-level-ontology.kif 26120-26120 | The number 1 argument of string length is an instance of nonnegative integer |
(domain stringLength 2 SymbolicString) | Mid-level-ontology.kif 26121-26121 | The number 2 argument of string length is an instance of symbolic string |
(instance stringLength BinaryPredicate) | Mid-level-ontology.kif 26117-26117 | string length is an instance of binary predicate |
(instance stringLength SingleValuedRelation) | Mid-level-ontology.kif 26119-26119 | string length is an instance of single valued relation |
(instance stringLength TotalValuedRelation) | Mid-level-ontology.kif 26118-26118 | string length is an instance of total valued relation |
appearance as argument number 2 |
![]() |
(format ChineseLanguage stringLength "%2 是 %1 characters long ") | domainEnglishFormat.kif 4674-4674 | |
(format ChineseTraditionalLanguage stringLength "%2 是 %1 characters long ") | domainEnglishFormat.kif 4673-4673 | |
(format EnglishLanguage stringLength "%2 is %1 characters long") | domainEnglishFormat.kif 4672-4672 | |
(termFormat EnglishLanguage stringLength "string length") | domainEnglishFormat.kif 65970-65970 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |