StringConcatenateFn |
appearance as argument number 1 |
appearance as argument number 2 |
(format ChineseLanguage StringConcatenateFn "%1 和 %2 的 concatenation ") | domainEnglishFormat.kif 4662-4662 | |
(format ChineseTraditionalLanguage StringConcatenateFn "%1 和 %2 的 concatenation ") | domainEnglishFormat.kif 4661-4661 | |
(format EnglishLanguage StringConcatenateFn "the concatenation of %1 and %2") | domainEnglishFormat.kif 4660-4660 | |
(termFormat EnglishLanguage StringConcatenateFn "string concatenate fn") | domainEnglishFormat.kif 65544-65544 |
consequent |
(<=> (stringConcatenation ?S1 ?S2 ?S3) (equal ?S3 (StringConcatenateFn ?S1 ?S2))) |
Mid-level-ontology.kif 24496-24498 | stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique cha�ne sympbolique est StringConcatenateFn cha�ne sympbolique and cha�ne sympbolique |