stringConcatenation |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") | domainEnglishFormat.kif 4666-4666 | |
(format ChineseTraditionalLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") | domainEnglishFormat.kif 4665-4665 | |
(format EnglishLanguage stringConcatenation "the concatenation of %1 and %2 is %3") | domainEnglishFormat.kif 4664-4664 | |
(termFormat EnglishLanguage stringConcatenation "string concatenation") | domainEnglishFormat.kif 65944-65944 |
antecedent |
consequent |