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 24495-24497 | 符号串 和 另一个 符号串 的 concatenation 是 第三 符号串 若且唯若 那个 第三 符号串 equal 那个 符号串 和 那个 另外 符号串 的 concatenation |