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 65545-65545 |
antecedent |
consequent |
(<=> (stringLength ?INT ?STRING) (equal ?INT (StringLengthFn ?STRING))) |
Mid-level-ontology.kif 24466-24468 | stringLength Numero Inteiro nao-negativo and Sequencia Simbolica Numero Inteiro nao-negativo e' igual a StringLengthFn Sequencia Simbolica |
(=> (codeMapping IACOAirlineCode ?STR ?AIR) (equal 3 (StringLengthFn ?STR))) |
Transportation.kif 3165-3167 | |
(=> (codeMapping IATAAirlineCode ?STR ?AIR) (equal 2 (StringLengthFn ?STR))) |
Transportation.kif 3152-3154 | |
(=> (instance ?AOC AOCnumber) (equal 8 (StringLengthFn ?AOC))) |
Transportation.kif 3175-3177 |
|