StringLengthFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage StringLengthFn "%1 的 length ") | domainEnglishFormat.kif 4674-4674 | |
(format ChineseTraditionalLanguage StringLengthFn "%1 的 length ") | domainEnglishFormat.kif 4673-4673 | |
(format EnglishLanguage StringLengthFn "the length of %1") | domainEnglishFormat.kif 4672-4672 | |
(termFormat EnglishLanguage StringLengthFn "string length fn") | domainEnglishFormat.kif 65547-65547 |
antecedent |
consequent |
(<=> (stringLength ?INT ?STRING) (equal ?INT (StringLengthFn ?STRING))) |
Mid-level-ontology.kif 24523-24525 | stringLength NumeroInteroNonNegativo and Stringa NumeroInteroNonNegativo is uguale a StringLengthFn Stringa |
(=> (codeMapping IACOAirlineCode ?STR ?AIR) (equal 3 (StringLengthFn ?STR))) |
Transportation.kif 3217-3219 |
|
(=> (codeMapping IATAAirlineCode ?STR ?AIR) (equal 2 (StringLengthFn ?STR))) |
Transportation.kif 3204-3206 |
|
(=> (instance ?AOC AOCnumber) (equal 8 (StringLengthFn ?AOC))) |
Transportation.kif 3227-3229 |