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

Formal Language: 



KB Term:  Term intersection
English Word: 

  stringConcatenation

 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 24545-24551
(domain stringConcatenation 1 SymbolicString) Mid-level-ontology.kif 24542-24542 stringConcatenation の数値 1 引数は 記号文字列 の instance では %n
(domain stringConcatenation 2 SymbolicString) Mid-level-ontology.kif 24543-24543 stringConcatenation の数値 2 引数は 記号文字列 の instance では %n
(domain stringConcatenation 3 SymbolicString) Mid-level-ontology.kif 24544-24544 stringConcatenation の数値 3 引数は 記号文字列 の instance では %n
(instance stringConcatenation SingleValuedRelation) Mid-level-ontology.kif 24541-24541 stringConcatenation は 一価関係 の instance では %n
(instance stringConcatenation TernaryPredicate) Mid-level-ontology.kif 24539-24539 stringConcatenation は 3進述語 の instance では %n
(instance stringConcatenation TotalValuedRelation) Mid-level-ontology.kif 24540-24540 stringConcatenation は 合計値関係 の instance では %n
(subrelation stringConcatenation precedesInString) Mid-level-ontology.kif 24569-24569 stringConcatenation は precedesInString の subrelation では %n

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 65944-65944

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


(<=>
    (stringConcatenation ?S1 ?S2 ?S3)
    (equal ?S3
        (StringConcatenateFn ?S1 ?S2)))		 Mid-level-ontology.kif 24553-24555 stringConcatenation 記号文字列, 記号文字列 and 記号文字列 記号文字列 は StringConcatenateFn 記号文字列 and 記号文字列 と equal では %n
(=>
    (and
        (fullName ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (fullNameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3294-3299
(=>
    (and
        (names ?NAMESTRING ?THING)
        (keyName ?FIRST ?NAMESTRING)
        (stringConcatenation ?FIRST ?REST ?NAMESTRING))
    (nameIndexOrder ?NAMESTRING ?THING))		 Media.kif 3321-3326

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 3301-3308
(=>
    (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 3328-3335


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

Show without tree


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