Line 1,036: |
Line 1,036: |
| \text{For Icons:} & | | \text{For Icons:} & |
| \operatorname{Sign} (\operatorname{Obj}) & = & | | \operatorname{Sign} (\operatorname{Obj}) & = & |
− | \operatorname{Inst} (\operatorname{Prop} (\operatorname{Obj})) \\ | + | \operatorname{Inst} (\operatorname{Prop} (\operatorname{Obj})). \\ |
| \text{For Indices:} & | | \text{For Indices:} & |
| \operatorname{Sign} (\operatorname{Obj}) & = & | | \operatorname{Sign} (\operatorname{Obj}) & = & |
− | \operatorname{Prop} (\operatorname{Inst} (\operatorname{Obj})) \\ | + | \operatorname{Prop} (\operatorname{Inst} (\operatorname{Obj})). \\ |
| \end{array}</math> | | \end{array}</math> |
| |} | | |} |
Line 1,050: |
Line 1,050: |
| \text{For Icons:} & | | \text{For Icons:} & |
| \operatorname{Obj} (\operatorname{Sign}) & = & | | \operatorname{Obj} (\operatorname{Sign}) & = & |
− | \operatorname{Inst} (\operatorname{Prop} (\operatorname{Sign})) \\ | + | \operatorname{Inst} (\operatorname{Prop} (\operatorname{Sign})). \\ |
| \text{For Indices:} & | | \text{For Indices:} & |
| \operatorname{Obj} (\operatorname{Sign}) & = & | | \operatorname{Obj} (\operatorname{Sign}) & = & |
− | \operatorname{Prop} (\operatorname{Inst} (\operatorname{Sign})) \\ | + | \operatorname{Prop} (\operatorname{Inst} (\operatorname{Sign})). \\ |
| \end{array}</math> | | \end{array}</math> |
| |} | | |} |
Line 1,097: |
Line 1,097: |
| | | | | |
| <math>\begin{array}{lllllll} | | <math>\begin{array}{lllllll} |
− | x \lessdot & = & | + | x \lessdot & = & |
− | x \operatorname{'s~Property} & = & | + | x \operatorname{'s~Property} & = & |
− | \operatorname{Property~of}\ x & = & | + | \operatorname{Property~of}\ x & = & |
− | \operatorname{Object~above}\ x \\ | + | \operatorname{Object~above}\ x. \\ |
− | x \gtrdot & = & | + | x \gtrdot & = & |
− | x \operatorname{'s~Instance} & = & | + | x \operatorname{'s~Instance} & = & |
− | \operatorname{Instance~of}\ x & = & | + | \operatorname{Instance~of}\ x & = & |
− | \operatorname{Object~below}\ x \\ | + | \operatorname{Object~below}\ x. \\ |
| \end{array}</math> | | \end{array}</math> |
| |} | | |} |
Line 1,115: |
Line 1,115: |
| x \lessdot & = & | | x \lessdot & = & |
| x\ \operatorname{is~the~Instance~of~what?} & = & | | x\ \operatorname{is~the~Instance~of~what?} & = & |
− | x \operatorname{'s~Property} \\ | + | x \operatorname{'s~Property}. \\ |
| x \gtrdot & = & | | x \gtrdot & = & |
| x\ \operatorname{is~the~Property~of~what?} & = & | | x\ \operatorname{is~the~Property~of~what?} & = & |
− | x \operatorname{'s~Instance} \\ | + | x \operatorname{'s~Instance}. \\ |
| \end{array}</math> | | \end{array}</math> |
| |} | | |} |
Line 1,164: |
Line 1,164: |
| On the assumption (to be examined more closely later) that any object <math>x\!</math> can be taken as a sign, the converse relations appear to be manifestly identical to the originals: | | On the assumption (to be examined more closely later) that any object <math>x\!</math> can be taken as a sign, the converse relations appear to be manifestly identical to the originals: |
| | | |
− | :{|
| + | {| align="center" cellpadding="8" |
− | | For Icons: | + | | |
− | | ''x''’s Object
| + | <math>\begin{array}{llllll} |
− | | =
| + | \text{For Icons:} & |
− | | ''x'' <math>\cdot</math> ''M''<sub>''SO''</sub>
| + | x \operatorname{'s~Object} & = & |
− | | =
| + | x \cdot M_{SO} & = & |
− | | ''x'' <math>\cdot</math> <math>\lessdot</math><math>\gtrdot</math> ,
| + | x \lessdot \gtrdot \\ |
− | |-
| + | \text{For Indices:} & |
− | | For Indices:
| + | x \operatorname{'s~Object} & = & |
− | | ''x''’s Object
| + | x \cdot N_{SO} & = & |
− | | =
| + | x \gtrdot \lessdot \\ |
− | | ''x'' <math>\cdot</math> ''N''<sub>''SO''</sub>
| + | \end{array}</math> |
− | | =
| |
− | | ''x'' <math>\cdot</math> <math>\gtrdot</math><math>\lessdot</math> .
| |
| |} | | |} |
| | | |