| 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 22284-22290 | |
| (domain stringConcatenation 1 SymbolicString) | Mid-level-ontology.kif 22281-22281 | |
| (domain stringConcatenation 2 SymbolicString) | Mid-level-ontology.kif 22282-22282 | |
| (domain stringConcatenation 3 SymbolicString) | Mid-level-ontology.kif 22283-22283 | |
| (instance stringConcatenation SingleValuedRelation) | Mid-level-ontology.kif 22280-22280 | |
| (instance stringConcatenation TernaryPredicate) | Mid-level-ontology.kif 22278-22278 | |
| (instance stringConcatenation TotalValuedRelation) | Mid-level-ontology.kif 22279-22279 | |
| (subrelation stringConcatenation precedesInString) | Mid-level-ontology.kif 22308-22308 |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") | domainEnglishFormat.kif 4675-4675 | |
| (format ChineseTraditionalLanguage stringConcatenation "%1 和 %2 的 concatenation 是 %3 ") | domainEnglishFormat.kif 4674-4674 | |
| (format EnglishLanguage stringConcatenation "the concatenation of %1 and %2 is %3") | domainEnglishFormat.kif 4673-4673 |
| antecedent |
|
|
| (<=> (stringConcatenation ?S1 ?S2 ?S3) (equal ?S3 (StringConcatenateFn ?S1 ?S2))) |
Mid-level-ontology.kif 22292-22294 | |
| (=> (and (fullName ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (fullNameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3282-3287 | |
| (=> (and (names ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (nameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3309-3314 |
| 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 3289-3296 | |
| (=> (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 3316-3323 |
|
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