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 24487-24493
(domain stringConcatenation 1 SymbolicString) Mid-level-ontology.kif 24484-24484 Il numero 1 argomenti di stringConcatenation è un istanza di Stringa
(domain stringConcatenation 2 SymbolicString) Mid-level-ontology.kif 24485-24485 Il numero 2 argomenti di stringConcatenation è un istanza di Stringa
(domain stringConcatenation 3 SymbolicString) Mid-level-ontology.kif 24486-24486 Il numero 3 argomenti di stringConcatenation è un istanza di Stringa
(instance stringConcatenation SingleValuedRelation) Mid-level-ontology.kif 24483-24483 stringConcatenation è un' istanza di RelazioneMonovalente
(instance stringConcatenation TernaryPredicate) Mid-level-ontology.kif 24481-24481 stringConcatenation è un' istanza di PredicatoTernario
(instance stringConcatenation TotalValuedRelation) Mid-level-ontology.kif 24482-24482 stringConcatenation è un' istanza di RelazioneAValoreTotale
(subrelation stringConcatenation precedesInString) Mid-level-ontology.kif 24511-24511 stringConcatenation è una sottorelazione di precedesInString

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


(format ChineseLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") domainEnglishFormat.kif 4666-4666
(format ChineseTraditionalLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") domainEnglishFormat.kif 4665-4665
(format EnglishLanguage stringConcatenation "the concatenation of %1 and %2 is %3") domainEnglishFormat.kif 4664-4664
(termFormat EnglishLanguage stringConcatenation "string concatenation") domainEnglishFormat.kif 65942-65942

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


(<=>
    (stringConcatenation ?S1 ?S2 ?S3)
    (equal ?S3
        (StringConcatenateFn ?S1 ?S2)))
Mid-level-ontology.kif 24495-24497 stringConcatenation Stringa, Stringa and Stringa Stringa is uguale a StringConcatenateFn Stringa and Stringa
(=>
    (and
        (fullName ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (fullNameIndexOrder ?NAMESTRING ?THING))
Media.kif 3312-3317
(=>
    (and
        (names ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (nameIndexOrder ?NAMESTRING ?THING))
Media.kif 3339-3344

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 3319-3326
(=>
    (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 3346-3353


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