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 | Il numero 1 argomenti di stringLength è un istanza di NumeroInteroNonNegativo |
(domain stringLength 2 SymbolicString) | Mid-level-ontology.kif 24516-24516 | Il numero 2 argomenti di stringLength è un istanza di Stringa |
(instance stringLength BinaryPredicate) | Mid-level-ontology.kif 24512-24512 | stringLength è un' istanza di PredicatoBinario |
(instance stringLength SingleValuedRelation) | Mid-level-ontology.kif 24514-24514 | stringLength è un' istanza di RelazioneMonovalente |
(instance stringLength TotalValuedRelation) | Mid-level-ontology.kif 24513-24513 | stringLength è un' istanza di RelazioneAValoreTotale |
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 |
(<=> (stringLength ?INT ?STRING) (equal ?INT (StringLengthFn ?STRING))) |
Mid-level-ontology.kif 24523-24525 | stringLength NumeroInteroNonNegativo and Stringa NumeroInteroNonNegativo is uguale a StringLengthFn Stringa |
(=> (and (instance ?STRING AlphabeticString) (stringLength 2 ?STRING)) (instance ?STRING Alpha2String)) |
Media.kif 2992-2996 |
|
(=> (and (instance ?STRING AlphabeticString) (stringLength 3 ?STRING)) (instance ?STRING Alpha3String)) |
Media.kif 2977-2981 |
|
(=> (and (instance ?STRING DecimalDigitString) (stringLength 4 ?STRING)) (instance ?STRING NumericString4)) |
Media.kif 2959-2963 |
|
consequent |