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 24517-24521 | |
(domain stringLength 1 NonnegativeInteger) | Mid-level-ontology.kif 24515-24515 | The number 1 argument of string length is an instance of nonnegative integer |
(domain stringLength 2 SymbolicString) | Mid-level-ontology.kif 24516-24516 | The number 2 argument of string length is an instance of symbolic string |
(instance stringLength BinaryPredicate) | Mid-level-ontology.kif 24512-24512 | string length is an instance of binary predicate |
(instance stringLength SingleValuedRelation) | Mid-level-ontology.kif 24514-24514 | string length is an instance of single valued relation |
(instance stringLength TotalValuedRelation) | Mid-level-ontology.kif 24513-24513 | 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 65945-65945 |
antecedent |
consequent |