StringConcatenateFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance StringConcatenateFn BinaryFunction)	Mid-level-ontology.kif 26769-26769	String concatenate fn is an instance of binary function
(instance StringConcatenateFn TotalValuedRelation)	Mid-level-ontology.kif 26770-26770	String concatenate fn is an instance of total valued relation
(instance StringConcatenateFn SingleValuedRelation)	Mid-level-ontology.kif 26771-26771	String concatenate fn is an instance of single valued relation
(domain StringConcatenateFn 1 SymbolicString)	Mid-level-ontology.kif 26772-26772	The number 1 argument of string concatenate fn is an instance of symbolic string
(domain StringConcatenateFn 2 SymbolicString)	Mid-level-ontology.kif 26773-26773	The number 2 argument of string concatenate fn is an instance of symbolic string
(range StringConcatenateFn SymbolicString)	Mid-level-ontology.kif 26774-26774	The range of string concatenate fn is an instance of symbolic string
(documentation StringConcatenateFn EnglishLanguage "The result of applying this Function to two SymbolicString arguments is a third SymbolicString that is the concatenation of the two arguments. Example: (equal "Charles Darwin" (StringConcatenateFn "Charles " "Darwin")).")	Mid-level-ontology.kif 26775-26779	The range of string concatenate fn is an instance of symbolic string

appearance as argument number 2

(format EnglishLanguage StringConcatenateFn "the concatenation of %1 and %2")	domainEnglishFormat.kif 4664-4664
(format ChineseTraditionalLanguage StringConcatenateFn "%1 和 %2 的 concatenation ")	domainEnglishFormat.kif 4665-4665
(format ChineseLanguage StringConcatenateFn "%1 和 %2 的 concatenation ")	domainEnglishFormat.kif 4666-4666
(termFormat EnglishLanguage StringConcatenateFn "string concatenate fn")	domainEnglishFormat.kif 65547-65547

consequent

(<=>
    (stringConcatenation ?S1 ?S2 ?S3)
    (equal ?S3
        (StringConcatenateFn ?S1 ?S2)))

The concatenation of X, Y is Z if, only if equal Z, the concatenation of X, and Y