Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - stringConcatenation
stringConcatenation

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


(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 26150-26156
(domain stringConcatenation 1 SymbolicString) Mid-level-ontology.kif 26147-26147
(domain stringConcatenation 2 SymbolicString) Mid-level-ontology.kif 26148-26148
(domain stringConcatenation 3 SymbolicString) Mid-level-ontology.kif 26149-26149
(instance stringConcatenation SingleValuedRelation) Mid-level-ontology.kif 26146-26146
(instance stringConcatenation TernaryPredicate) Mid-level-ontology.kif 26144-26144
(instance stringConcatenation TotalValuedRelation) Mid-level-ontology.kif 26145-26145
(subrelation stringConcatenation precedesInString) Mid-level-ontology.kif 26174-26174

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


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

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


(<=>
    (stringConcatenation ?S1 ?S2 ?S3)
    (equal ?S3
        (StringConcatenateFn ?S1 ?S2)))
Mid-level-ontology.kif 26158-26160
(=>
    (and
        (fullName ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (fullNameIndexOrder ?NAMESTRING ?THING))
Media.kif 3296-3301
(=>
    (and
        (names ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (nameIndexOrder ?NAMESTRING ?THING))
Media.kif 3323-3328

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 3303-3310
(=>
    (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 3330-3337


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 is open source software produced by Articulate Software and its partners