|
Difference between
version 126
and
version 125:
| Line 147 was replaced by line 147 |
| - Here, symbols {{x}} and {{y}} denote either constants or variables. Variables are prefixed with a $ sign. Constants that contain spaces must be delimited using single quotes. |
| + Here, symbols {{x}} and {{y}} denote either constants or variables. Variables are prefixed with a $ sign. Constants that contain spaces must be delimited using single quotes. For {{x}} and {{y}} constants, the atom {{x:T}} is true if {{x}} is a {{T}} object, and the atom {{x[[A1=y]}} is true if {{x}} is an object that has {{y}} as one of its {{A1}} attribute values. |
| Line 155 was replaced by line 155 |
| - For instance, ... |
| + For instance, ... give the one from above and notice the difference in clarity. |
| Removed line 158 |
| - If {{x}} is a variable, the first expression above is identical to the abbreviated expression {{T}} except that each selected object of {{T}} is assigned to the variable. Similarly, if {{x}} and {{y}} are both variables, the second atom is identical to the abbreviated expression {{T.A1}} except that {{x}} and {{y}} are assigned to the {{T}} and {{A1}} objects, respectively. If {{x}} is a constant, the atom {{x:T}} is true if {{x}} is an object of {{T}}. If {{x}} and {{y}} are constants, the atom {{x[[A=y]}} is true if {{x}} is an object having {{y}} as one of its {{A}} attribute values. If {{x}} is a constant and {{y}} is a variable, the second atom assigns {{y}} to each of the {{A1}} attributes of {{x}}. And if {{x}} is a variable and {{y}} is a constant, the atom {{x[[A1=y]}} is true if {{x}} has already been assigned an object and it has {{y}} as one of its {{A1}} values. |
| Removed lines 163-164 |
| - |
| - |
Back to KRSMS Semantic Annotation Language,
or to the Page History.
|
