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 | stringLength の数値 1 引数は 非負整数 の instance では %n |
(domain stringLength 2 SymbolicString) | Mid-level-ontology.kif 24459-24459 | stringLength の数値 2 引数は 記号文字列 の instance では %n |
(instance stringLength BinaryPredicate) | Mid-level-ontology.kif 24455-24455 | stringLength は 2進述語 の instance では %n |
(instance stringLength SingleValuedRelation) | Mid-level-ontology.kif 24457-24457 | stringLength は 一価関係 の instance では %n |
(instance stringLength TotalValuedRelation) | Mid-level-ontology.kif 24456-24456 | stringLength は 合計値関係 の instance では %n |
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 |
(<=> (stringLength ?INT ?STRING) (equal ?INT (StringLengthFn ?STRING))) |
Mid-level-ontology.kif 24466-24468 | stringLength 非負整数 and 記号文字列 非負整数 は StringLengthFn 記号文字列 と equal では %n |
(=> (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 |