TreeView Knowledge Base Browser - stringConcatenation

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	Le nombre 1 argument de stringConcatenation est une instance de cha�ne sympbolique
(domain stringConcatenation 2 SymbolicString)	Mid-level-ontology.kif 24486-24486	Le nombre 2 argument de stringConcatenation est une instance de cha�ne sympbolique
(domain stringConcatenation 3 SymbolicString)	Mid-level-ontology.kif 24487-24487	Le nombre 3 argument de stringConcatenation est une instance de cha�ne sympbolique
(instance stringConcatenation SingleValuedRelation)	Mid-level-ontology.kif 24484-24484	stringConcatenation est une instance de relation simple
(instance stringConcatenation TernaryPredicate)	Mid-level-ontology.kif 24482-24482	stringConcatenation est une instance de pr�dicat ternaire
(instance stringConcatenation TotalValuedRelation)	Mid-level-ontology.kif 24483-24483	stringConcatenation est une instance de relation total
(subrelation stringConcatenation precedesInString)	Mid-level-ontology.kif 24512-24512	stringConcatenation est une sous-relation de 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	stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique cha�ne sympbolique est StringConcatenateFn cha�ne sympbolique and cha�ne sympbolique
(=> (and (fullName ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (fullNameIndexOrder ?NAMESTRING ?THING))	Media.kif 3312-3317	fullName cha�ne sympbolique and entit� keyName cha�ne sympbolique and cha�ne sympbolique stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique fullNameIndexOrder cha�ne sympbolique and entit�
(=> (and (names ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (nameIndexOrder ?NAMESTRING ?THING))	Media.kif 3339-3344	Entit� s'appele nom cha�ne sympbolique keyName cha�ne sympbolique and cha�ne sympbolique stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique nameIndexOrder cha�ne sympbolique and entit�

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	fullNameIndexOrder cha�ne sympbolique and entit� keyName cha�ne sympbolique and cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatif and nombre entier non n�gatif stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique
(=> (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	nameIndexOrder cha�ne sympbolique and entit� keyName cha�ne sympbolique and cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique nombre entier non n�gatif est StringLengthFn cha�ne sympbolique cha�ne sympbolique est SubstringFn cha�ne sympbolique, nombre entier non n�gatif and nombre entier non n�gatif stringConcatenation cha�ne sympbolique, cha�ne sympbolique and cha�ne sympbolique

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