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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 22293-22297
(domain StringConcatenateFn 1 SymbolicString) Mid-level-ontology.kif 22290-22290
(domain StringConcatenateFn 2 SymbolicString) Mid-level-ontology.kif 22291-22291
(instance StringConcatenateFn BinaryFunction) Mid-level-ontology.kif 22287-22287
(instance StringConcatenateFn SingleValuedRelation) Mid-level-ontology.kif 22289-22289
(instance StringConcatenateFn TotalValuedRelation) Mid-level-ontology.kif 22288-22288
(range StringConcatenateFn SymbolicString) Mid-level-ontology.kif 22292-22292

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


(format ChineseLanguage StringConcatenateFn "%1 和 %2 的 concatenation ") domainEnglishFormat.kif 4667-4667
(format ChineseTraditionalLanguage StringConcatenateFn "%1 和 %2 的 concatenation ") domainEnglishFormat.kif 4666-4666
(format EnglishLanguage StringConcatenateFn "the concatenation of %1 and %2") domainEnglishFormat.kif 4665-4665

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners