| (documentation StringConcatenateFn EnglishLanguage "The result of applying this Function to two SymbolicString arguments is a third SymbolicString that is the concatenation of the two arguments. Example: (equal "Charles Darwin" (StringConcatenateFn "Charles " "Darwin")).") |
Mid-level-ontology.kif 25595-25599 |
|
| (domain StringConcatenateFn 1 SymbolicString) |
Mid-level-ontology.kif 25592-25592 |
The number 1 argument of string concatenate fn is an instance of symbolic string |
| (domain StringConcatenateFn 2 SymbolicString) |
Mid-level-ontology.kif 25593-25593 |
The number 2 argument of string concatenate fn is an instance of symbolic string |
| (instance StringConcatenateFn BinaryFunction) |
Mid-level-ontology.kif 25589-25589 |
String concatenate fn is an instance of binary function |
| (instance StringConcatenateFn SingleValuedRelation) |
Mid-level-ontology.kif 25591-25591 |
String concatenate fn is an instance of single valued relation |
| (instance StringConcatenateFn TotalValuedRelation) |
Mid-level-ontology.kif 25590-25590 |
String concatenate fn is an instance of total valued relation |
| (range StringConcatenateFn SymbolicString) |
Mid-level-ontology.kif 25594-25594 |
The range of string concatenate fn is an instance of symbolic string |