| 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 22305-22311 | |
| (domain stringConcatenation 1 SymbolicString) | Mid-level-ontology.kif 22302-22302 | |
| (domain stringConcatenation 2 SymbolicString) | Mid-level-ontology.kif 22303-22303 | |
| (domain stringConcatenation 3 SymbolicString) | Mid-level-ontology.kif 22304-22304 | |
| (instance stringConcatenation SingleValuedRelation) | Mid-level-ontology.kif 22301-22301 | |
| (instance stringConcatenation TernaryPredicate) | Mid-level-ontology.kif 22299-22299 | |
| (instance stringConcatenation TotalValuedRelation) | Mid-level-ontology.kif 22300-22300 | |
| (subrelation stringConcatenation precedesInString) | Mid-level-ontology.kif 22329-22329 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") | domainEnglishFormat.kif 4671-4671 | |
| (format ChineseTraditionalLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") | domainEnglishFormat.kif 4670-4670 | |
| (format EnglishLanguage stringConcatenation "the concatenation of %1 and %2 is %3") | domainEnglishFormat.kif 4669-4669 |
| antecedent |
|
|
| (<=> (stringConcatenation ?S1 ?S2 ?S3) (equal ?S3 (StringConcatenateFn ?S1 ?S2))) |
Mid-level-ontology.kif 22313-22315 | |
| (=> (and (fullName ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (fullNameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3280-3285 | |
| (=> (and (names ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (nameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3307-3312 |
| 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 3287-3294 | |
| (=> (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 3314-3321 |
|
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