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 24488-24494
(domain stringConcatenation 1 SymbolicString) Mid-level-ontology.kif 24485-24485 域 stringConcatenation, 1 and SymbolicString
(domain stringConcatenation 2 SymbolicString) Mid-level-ontology.kif 24486-24486 域 stringConcatenation, 2 and SymbolicString
(domain stringConcatenation 3 SymbolicString) Mid-level-ontology.kif 24487-24487 域 stringConcatenation, 3 and SymbolicString
(instance stringConcatenation SingleValuedRelation) Mid-level-ontology.kif 24484-24484 例 stringConcatenation and SingleValuedRelation
(instance stringConcatenation TernaryPredicate) Mid-level-ontology.kif 24482-24482 例 stringConcatenation and TernaryPredicate
(instance stringConcatenation TotalValuedRelation) Mid-level-ontology.kif 24483-24483 例 stringConcatenation and TotalValuedRelation
(subrelation stringConcatenation precedesInString) Mid-level-ontology.kif 24512-24512 子關係 stringConcatenation and 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 24496-24498 SymbolicString 和 SymbolicString 的 concatenation 是 SymbolicString 等於 SymbolicString and SymbolicString 和 SymbolicString 的 concatenation
(=>
    (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 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