12,080
edits
Changes
Directory:Jon Awbrey/Papers/Inquiry Driven Systems (view source)
Revision as of 15:42, 17 December 2008
, 15:42, 17 December 2008→1.3.4.14. Application of OF : Generic Level: reset formula display as TeX array
\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{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}) & = &
{| align="center" cellpadding="8"
{| align="center" cellpadding="8"
| <math>x \lessdot</math>
|
<math>\begin{array}{lllllll}
x \lessdot & = &
x \operatorname{'s~Property} & = &
\operatorname{Property~of}\ x & = &
\operatorname{Object~above}\ x, \\
x \gtrdot & = &
x \operatorname{'s~Instance} & = &
\operatorname{Instance~of}\ x & = &
\operatorname{Object~below}\ x, \\
\end{array}</math>
|}
|}