You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Copy file name to clipboardExpand all lines: ssn/chapters/BFO-alignment.html
+16-16Lines changed: 16 additions & 16 deletions
Original file line number
Diff line number
Diff line change
@@ -69,7 +69,7 @@ <h4>Class Alignments</h4>
69
69
<spanclass="symbol logic">≡</span>
70
70
<spanclass="rhs">
71
71
<span
72
-
title="independent continuant: b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c">obo:BFO_0000004</span>
72
+
title="b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c">obo:BFO_0000004</span>
<spantitle="entity: An entity is anything that exists or has existed or will exist">obo:BFO_0000001</span>
98
+
<spantitle="An entity is anything that exists or has existed or will exist">obo:BFO_0000001</span>
99
99
<br><i>entity</i>
100
100
</span>
101
101
</li>
@@ -119,7 +119,7 @@ <h4>Class Alignments</h4>
119
119
<spanclass="symbol logic">⊑</span>
120
120
<spanclass="rhs">
121
121
<span
122
-
title="material entity: A material entity is an independent continuant has some portion of matter as continuant part">obo:BFO_0000040</span>
122
+
title="A material entity is an independent continuant has some portion of matter as continuant part">obo:BFO_0000040</span>
123
123
<br><i>"material entity"</i>
124
124
</span>
125
125
</li>
@@ -128,19 +128,19 @@ <h4>Class Alignments</h4>
128
128
<spanclass="symbol logic">⊑</span>
129
129
<spanclass="rhs">
130
130
<span
131
-
title="Directive Information Content Entity: An Information Content Entity that consists of a set of propositions or images (as in the case of a blueprint) that prescribe some Entity.">cco:ont00000965</span>
132
-
<br><i>Directive Information Content Entity</i>
131
+
title="An Information Content Entity that consists of a set of propositions or images (as in the case of a blueprint) that prescribe some Entity.">cco:ont00000965</span>
132
+
<br><i>Prescriptive Information Content Entity</i>
133
133
</span>
134
134
</li>
135
135
<li>
136
136
<spanclass="lhs"><a>sosa:Property</a></span>
137
137
<spanclass="symbol logic">⊑</span>
138
138
<spanclass="rhs">
139
139
<span
140
-
title="generically dependent continuant: A generically dependent continuant is an entity that exists in virtue of the fact that there is at least one of what may be multiple copies which is the content or the pattern that multiple copies would share">obo:BFO_0000031</span>
140
+
title="A generically dependent continuant is an entity that exists in virtue of the fact that there is at least one of what may be multiple copies which is the content or the pattern that multiple copies would share">obo:BFO_0000031</span>
141
141
<spanclass="logic">or</span>
142
142
<span
143
-
title="quality: A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized">obo:BFO_0000019</span>
143
+
title="A quality is a specifically dependent continuant that, in contrast to roles and dispositions, does not require any further process in order to be realized">obo:BFO_0000019</span>
144
144
<br><i>"generically dependent continuant" or "quality"</i>
145
145
</span>
146
146
</li>
@@ -149,7 +149,7 @@ <h4>Class Alignments</h4>
149
149
<spanclass="symbol logic">⊑</span>
150
150
<spanclass="rhs">
151
151
<span
152
-
title="independent continuant: b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c">obo:BFO_0000004</span>
152
+
title="b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c">obo:BFO_0000004</span>
153
153
<br><i>independent continuant</i>
154
154
</span>
155
155
</li>
@@ -182,7 +182,7 @@ <h4>Class Alignments</h4>
182
182
<spanclass="symbol logic">⊑</span>
183
183
<spanclass="rhs">
184
184
<span
185
-
title="independent continuant: b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c">obo:BFO_0000004</span>
185
+
title="b is an independent continuant =Def b is a continuant & there is no c such that b specifically depends on c or b generically depends on c">obo:BFO_0000004</span>
186
186
<br><i>independent continuant</i>
187
187
</span>
188
188
</li>
@@ -201,7 +201,7 @@ <h4>Property Alignments</h4>
201
201
<spanclass="symbol logic">⊑</span>
202
202
<spanclass="rhs">
203
203
<span
204
-
title="has input: y has_input x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the beginning of y is a necessary condition for the start of y.">cco:ont00001921</span>
204
+
title="y has_input x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the beginning of y is a necessary condition for the start of y.">cco:ont00001921</span>
205
205
<br><i>has input</i>
206
206
</span>
207
207
</li>
@@ -210,7 +210,7 @@ <h4>Property Alignments</h4>
210
210
<spanclass="symbol logic">⊑</span>
211
211
<spanclass="rhs">
212
212
<span
213
-
title="has output: y has_output x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the end of y is a necessary condition for the completion of y.">cco:ont00001986</span>
213
+
title="y has_output x iff x is an instance of Continuant and y is an instance of Process, such that the presence of x at the end of y is a necessary condition for the completion of y.">cco:ont00001986</span>
214
214
<br><i>has output</i>
215
215
</span>
216
216
</li>
@@ -219,7 +219,7 @@ <h4>Property Alignments</h4>
219
219
<spanclass="symbol logic">⊑</span>
220
220
<spanclass="rhs">
221
221
<span
222
-
title="prescribed by: x prescribed_by y iff y is an instance of Information Content Entity and x is an instance of Entity, such that y serves as a rule or guide for x if x is an Occurrent, or y serves as a model for x if x is a Continuant.">cco:ont00001920</span>
222
+
title="x prescribed_by y iff y is an instance of Information Content Entity and x is an instance of Entity, such that y serves as a rule or guide for x if x is an Occurrent, or y serves as a model for x if x is a Continuant.">cco:ont00001920</span>
title="is successor of: A continuant c2 is a successor of some continuant c1 iff there is some process p1 and c1 is an input to p1 and c2 is an output of p1. Inverse of is predecessor.">cco:ont00001775</span>
231
+
title="A continuant c2 is a successor of some continuant c1 iff there is some process p1 and c1 is an input to p1 and c2 is an output of p1. Inverse of is predecessor.">cco:ont00001775</span>
232
232
<br><i>is successor of</i>
233
233
</span>
234
234
</li>
235
235
<li>
236
236
<spanclass="lhs"><a>sosa:madeBySystem</a></span>
237
237
<spanclass="symbol logic">⊑</span>
238
238
<spanclass="rhs">
239
-
<spantitle="has participant: p has participant c =Def c participates in p">obo:BFO_0000057</span>
239
+
<spantitle="p has participant c =Def c participates in p">obo:BFO_0000057</span>
240
240
<br><i>has participant</i>
241
241
</span>
242
242
</li>
@@ -245,7 +245,7 @@ <h4>Property Alignments</h4>
245
245
<spanclass="symbol logic">⊑</span>
246
246
<spanclass="rhs">
247
247
<span
248
-
title="prescribed by: x prescribed_by y iff y is an instance of Information Content Entity and x is an instance of Entity, such that y serves as a rule or guide for x if x is an Occurrent, or y serves as a model for x if x is a Continuant.">cco:ont00001920</span>
248
+
title="x prescribed_by y iff y is an instance of Information Content Entity and x is an instance of Entity, such that y serves as a rule or guide for x if x is an Occurrent, or y serves as a model for x if x is a Continuant.">cco:ont00001920</span>
249
249
<br><i>prescribed by</i>
250
250
</span>
251
251
</li>
@@ -254,7 +254,7 @@ <h4>Property Alignments</h4>
254
254
<spanclass="symbol logic">⊑</span>
255
255
<spanclass="rhs">
256
256
<span
257
-
title="caused by: x caused_by y iff x and y are instances of Occurrent, and x is a consequence of y.">cco:ont00001819</span>
257
+
title="x caused_by y iff x and y are instances of Occurrent, and x is a consequence of y.">cco:ont00001819</span>
0 commit comments