| 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 26169-26175 | |
| (domain stringConcatenation 1 SymbolicString) | Mid-level-ontology.kif 26166-26166 | |
| (domain stringConcatenation 2 SymbolicString) | Mid-level-ontology.kif 26167-26167 | |
| (domain stringConcatenation 3 SymbolicString) | Mid-level-ontology.kif 26168-26168 | |
| (instance stringConcatenation SingleValuedRelation) | Mid-level-ontology.kif 26165-26165 | |
| (instance stringConcatenation TernaryPredicate) | Mid-level-ontology.kif 26163-26163 | |
| (instance stringConcatenation TotalValuedRelation) | Mid-level-ontology.kif 26164-26164 | |
| (subrelation stringConcatenation precedesInString) | Mid-level-ontology.kif 26193-26193 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") | domainEnglishFormat.kif 4670-4670 | |
| (format ChineseTraditionalLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") | domainEnglishFormat.kif 4669-4669 | |
| (format EnglishLanguage stringConcatenation "the concatenation of %1 and %2 is %3") | domainEnglishFormat.kif 4668-4668 | |
| (termFormat EnglishLanguage stringConcatenation "string concatenation") | domainEnglishFormat.kif 66000-66000 |
| antecedent |
|
|
| (<=> (stringConcatenation ?S1 ?S2 ?S3) (equal ?S3 (StringConcatenateFn ?S1 ?S2))) |
Mid-level-ontology.kif 26177-26179 | |
| (=> (and (fullName ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (fullNameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3296-3301 | |
| (=> (and (names ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (nameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3323-3328 |
| 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 3303-3310 | |
| (=> (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 3330-3337 |
|
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 3.0 is open source software produced by Articulate Software and its partners