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

Formal Language: 



KB Term:  Term intersection
English Word: 

  StringConcatenateFn

Sigma KEE - StringConcatenateFn
StringConcatenateFn

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


(documentation StringConcatenateFn EnglishLanguage "The result of applying this Function to two SymbolicString arguments is a third SymbolicString that is the concatenation of the two arguments. Example: (equal "Charles Darwin" (StringConcatenateFn "Charles " "Darwin")).") Mid-level-ontology.kif 23829-23833
(domain StringConcatenateFn 1 SymbolicString) Mid-level-ontology.kif 23826-23826
(domain StringConcatenateFn 2 SymbolicString) Mid-level-ontology.kif 23827-23827
(instance StringConcatenateFn BinaryFunction) Mid-level-ontology.kif 23823-23823
(instance StringConcatenateFn SingleValuedRelation) Mid-level-ontology.kif 23825-23825
(instance StringConcatenateFn TotalValuedRelation) Mid-level-ontology.kif 23824-23824
(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 23828-23828

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


(format ChineseLanguage StringConcatenateFn "%1 和 %2 的 concatenation ") domainEnglishFormat.kif 4671-4671
(format ChineseTraditionalLanguage StringConcatenateFn "%1 和 %2 的 concatenation ") domainEnglishFormat.kif 4670-4670
(format EnglishLanguage StringConcatenateFn "the concatenation of %1 and %2") domainEnglishFormat.kif 4669-4669

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


(<=>
    (stringConcatenation ?S1 ?S2 ?S3)
    (equal ?S3
        (StringConcatenateFn ?S1 ?S2)))
Mid-level-ontology.kif 23849-23851


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