Open main menu
Home
Random
Log in
Settings
About MyWikiBiz
Disclaimers
MyWikiBiz
Search
Changes
← Older edit
Newer edit →
Directory:Jon Awbrey/Papers/Inquiry Driven Systems
(view source)
Revision as of 17:40, 2 September 2007
365 bytes added
,
17:40, 2 September 2007
→1.3.4.15. Application of OF : Motive Level
:
markup
Line 1,171:
Line 1,171:
Recall the reading of the staging relations:
Recall the reading of the staging relations:
−
"h : x <
m
"
=
"h regards x as an instance of m
"
,
+
:{| cellpadding="2" style=
"
text-align:center"
−
+
| ''
h
''
:
''
x
''
<
font face=
"
system
"
><s><</s></font> ''m''
−
"
h : m > y
" = "
h regards m as
a property of y
"
.
+
| ⇔
−
+
| ''
h
''
regards
''
x
''
−
"
h : x > n
" = "
h regards x as
a property of n
"
,
+
|
as
−
+
|
an
−
"
h : n <
y
"
=
"h regards n as an instance of y
"
.
+
|
instance of
''
m
''
,
+
|-
+
| ''
h
''
:
''
m
'' <font face="system"
>
<s>></s></font> ''
y
''
+
| ⇔
+
| ''
h
''
regards
''
m
''
+
|
as
+
|
a
+
|
property of
''
y
''
.
+
|-
+
| ''
h
''
:
''
x
'' <font face="system"
>
<s>></s></font> ''
n
''
+
| ⇔
+
| ''
h
''
regards
''
x
''
+
|
as
+
|
a
+
|
property of
''
n
''
,
+
|-
+
| ''
h
''
:
''
n
''
<
font face=
"
system
"
><s><</s></font> ''y''
+
| ⇔
+
| ''
h
''
regards
''
n
''
+
|
as
+
|
an
+
|
instance of
''
y
''
.
+
|}
Express the analysis of icons and indices as follows:
Express the analysis of icons and indices as follows:
Jon Awbrey
12,089
edits