12,089
edits
Changes
MyWikiBiz, Author Your Legacy — Tuesday September 02, 2025
Jump to navigationJump to searchDirectory:Jon Awbrey/Papers/Inquiry Driven Systems (view source)
Revision as of 22:20, 17 December 2008
, 22:20, 17 December 2008→1.3.4.15. Application of OF : Motive Level: HTML --> TeX
Recall the reading of the staging relations:
Recall the reading of the staging relations:
{| align="center" cellpadding="8" style="text-align:center"
| ''h'' : ''x'' <math>\lessdot</math> ''m''
| <math>h : x \lessdot m</math>
| ⇔
| <math>\Leftrightarrow</math>
| <math>h\ \operatorname{regards}\ x\ \operatorname{as~an~instance~of}\ m.</math>
|-
|-
| ''h'' : ''m'' <math>\gtrdot</math> ''y''
| <math>h : m \gtrdot y</math>
| ⇔
| <math>\Leftrightarrow</math>
| <math>h\ \operatorname{regards}\ m\ \operatorname{as~a~property~of}\ y.</math>
|-
|-
| ''h'' : ''x'' <math>\gtrdot</math> ''n''
| <math>h : x \gtrdot n</math>
| ⇔
| <math>\Leftrightarrow</math>
| <math>h\ \operatorname{regards}\ x\ \operatorname{as~a~property~of}\ n.</math>
|-
|-
| ''h'' : ''n'' <math>\lessdot</math> ''y''
| <math>h : n \lessdot y</math>
| ⇔
| <math>\Leftrightarrow</math>
| <math>h\ \operatorname{regards}\ n\ \operatorname{as~an~instance~of}\ y.</math>
|}
|}
