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 24460-24464 | |
(domain stringLength 1 NonnegativeInteger) | Mid-level-ontology.kif 24458-24458 | Le nombre 1 argument de stringLength est une instance de nombre entier non n�gatif |
(domain stringLength 2 SymbolicString) | Mid-level-ontology.kif 24459-24459 | Le nombre 2 argument de stringLength est une instance de cha�ne sympbolique |
(instance stringLength BinaryPredicate) | Mid-level-ontology.kif 24455-24455 | stringLength est une instance de pr�dicat binaire |
(instance stringLength SingleValuedRelation) | Mid-level-ontology.kif 24457-24457 | stringLength est une instance de relation simple |
(instance stringLength TotalValuedRelation) | Mid-level-ontology.kif 24456-24456 | stringLength est une instance de relation total |
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 65943-65943 |
antecedent |
consequent |