Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - stringConcatenation
stringConcatenation

appearance as argument number 1
-------------------------


(instance stringConcatenation TernaryPredicate) Mid-level-ontology.kif 26781-26781 string concatenation is an instance of ternary predicate
(instance stringConcatenation TotalValuedRelation) Mid-level-ontology.kif 26782-26782 string concatenation is an instance of total valued relation
(instance stringConcatenation SingleValuedRelation) Mid-level-ontology.kif 26783-26783 string concatenation is an instance of single valued relation
(domain stringConcatenation 1 SymbolicString) Mid-level-ontology.kif 26784-26784 The number 1 argument of string concatenation is an instance of symbolic string
(domain stringConcatenation 2 SymbolicString) Mid-level-ontology.kif 26785-26785 The number 2 argument of string concatenation is an instance of symbolic string
(domain stringConcatenation 3 SymbolicString) Mid-level-ontology.kif 26786-26786 The number 3 argument of string concatenation is an instance of symbolic string
(documentation stringConcatenation EnglishLanguage "(stringConcatenation ?SymbolicString-1 ?SymbolicString-2 ?SymbolicString-3) means that ?SymbolicString-3 can be formed by appending ?SymbolicString-1 and ?SymbolicString-2, in order. Example: (stringConcatenation "Charles " "Darwin" "Charles Darwin") is a True Sentence.") Mid-level-ontology.kif 26787-26793 The number 3 argument of string concatenation is an instance of symbolic string
(subrelation stringConcatenation precedesInString) Mid-level-ontology.kif 26811-26811 string concatenation is a subrelation of precedes in string

appearance as argument number 2
-------------------------


(format EnglishLanguage stringConcatenation "the concatenation of %1 and %2 is %3") domainEnglishFormat.kif 4668-4668
(format ChineseTraditionalLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") domainEnglishFormat.kif 4669-4669
(format ChineseLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") domainEnglishFormat.kif 4670-4670
(termFormat EnglishLanguage stringConcatenation "string concatenation") domainEnglishFormat.kif 65978-65978

antecedent
-------------------------


(<=>
    (stringConcatenation ?S1 ?S2 ?S3)
    (equal ?S3
        (StringConcatenateFn ?S1 ?S2)))		 Mid-level-ontology.kif 26795-26797 The concatenation of X, Y is Z if, only if equal Z, the concatenation of X, and Y
(=>
    (and
        (fullName ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (fullNameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3227-3232 If the full name of X is Y, Z is a key in Y, and the concatenation of Z and W is Y, then the index order name of X is Y
(=>
    (and
        (names ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (nameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3254-3259 If X has name Y, Z is a key in Y, and the concatenation of Z and W is Y, then Y is the indexable name for X

consequent
-------------------------


(=>
    (and
        (fullNameIndexOrder ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (equal ?START
            (StringLengthFn ?FIRST))
        (equal ?END
            (StringLengthFn ?NAMESTRING))
        (equal ?REST
            (SubstringFn ?NAMESTRING ?START ?END)))
    (stringConcatenation ?FIRST ?REST ?NAMESTRING))		 Media.kif 3234-3241 If the index order name of X is Y, Z is a key in Y, equal W and the length of Z, equal V and the length of Y, and equal U and the sub-string of Y from W to V, then the concatenation of Z and U is Y
(=>
    (and
        (nameIndexOrder ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (equal ?START
            (StringLengthFn ?FIRST))
        (equal ?END
            (StringLengthFn ?NAMESTRING))
        (equal ?REST
            (SubstringFn ?NAMESTRING ?START ?END)))
    (stringConcatenation ?FIRST ?REST ?NAMESTRING))		 Media.kif 3261-3268 If X is the indexable name for Y, Z is a key in X, equal W and the length of Z, equal V and the length of X, and equal U and the sub-string of X from W to V, then the concatenation of Z and U is X


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners