stringConcatenation |
appearance as argument number 1 |
![]() |
appearance as argument number 2 |
![]() |
(format ChineseLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") | domainEnglishFormat.kif 4670-4670 | |
(format ChineseTraditionalLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") | domainEnglishFormat.kif 4669-4669 | |
(format EnglishLanguage stringConcatenation "the concatenation of %1 and %2 is %3") | domainEnglishFormat.kif 4668-4668 | |
(termFormat EnglishLanguage stringConcatenation "string concatenation") | domainEnglishFormat.kif 66000-66000 |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |