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 24487-24493 | |
(domain stringConcatenation 1 SymbolicString) | Mid-level-ontology.kif 24484-24484 | |
(domain stringConcatenation 2 SymbolicString) | Mid-level-ontology.kif 24485-24485 | |
(domain stringConcatenation 3 SymbolicString) | Mid-level-ontology.kif 24486-24486 | |
(instance stringConcatenation SingleValuedRelation) | Mid-level-ontology.kif 24483-24483 | |
(instance stringConcatenation TernaryPredicate) | Mid-level-ontology.kif 24481-24481 | |
(instance stringConcatenation TotalValuedRelation) | Mid-level-ontology.kif 24482-24482 | |
(subrelation stringConcatenation precedesInString) | Mid-level-ontology.kif 24511-24511 |
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 24495-24497 | |
(=> (and (fullName ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (fullNameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3312-3317 | |
(=> (and (names ?NAMESTRING ?THING) (keyName ?FIRST ?NAMESTRING) (stringConcatenation ?FIRST ?REST ?NAMESTRING)) (nameIndexOrder ?NAMESTRING ?THING)) |
Media.kif 3339-3344 |
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 | |
(=> (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 |