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 24748-24752 | |
(domain stringLength 1 NonnegativeInteger) | Mid-level-ontology.kif 24746-24746 | The number 1 argument of string length is an instance of nonnegative integer |
(domain stringLength 2 SymbolicString) | Mid-level-ontology.kif 24747-24747 | The number 2 argument of string length is an instance of symbolic string |
(instance stringLength BinaryPredicate) | Mid-level-ontology.kif 24743-24743 | string length is an instance of binary predicate |
(instance stringLength SingleValuedRelation) | Mid-level-ontology.kif 24745-24745 | string length is an instance of single valued relation |
(instance stringLength TotalValuedRelation) | Mid-level-ontology.kif 24744-24744 | string length is an instance of total valued relation |
appearance as argument number 2 |
(format ChineseLanguage stringLength "%2 是 %1 characters long ") | domainEnglishFormat.kif 4670-4670 | |
(format ChineseTraditionalLanguage stringLength "%2 是 %1 characters long ") | domainEnglishFormat.kif 4669-4669 | |
(format EnglishLanguage stringLength "%2 is %1 characters long") | domainEnglishFormat.kif 4668-4668 | |
(termFormat EnglishLanguage stringLength "string length") | domainEnglishFormat.kif 66003-66003 |
antecedent |
consequent |