| Line 1,817: |
Line 1,817: |
| | | | |
| | <br> | | <br> |
| | + | |
| | + | ===Type Tables=== |
| | | | |
| | ====Current Work==== | | ====Current Work==== |
| | + | |
| | + | <br> |
| | + | |
| | + | <pre> |
| | + | Table 47.1 Basic Types for ERs & IRs of Sign Relations |
| | + | Type Symbol |
| | + | Property P |
| | + | Sign S |
| | + | Set S |
| | + | Triple T |
| | + | Underlying Element U |
| | + | </pre> |
| | + | |
| | + | <br> |
| | + | |
| | + | <pre> |
| | + | Table 47.2 Derived Types for ERs of Sign Relations |
| | + | Type Symbol Construction |
| | + | Relation R S(T(U)) |
| | + | </pre> |
| | + | |
| | + | <br> |
| | + | |
| | + | <pre> |
| | + | Table 47.3 Derived Types for IRs of Sign Relations |
| | + | Type Symbol Construction |
| | + | Relation P(R) P(S(T(U))) |
| | + | </pre> |
| | + | |
| | + | <br> |