BFO-ontology/BFO

Direct relation between a process and an independent continuant in which it occurs.

Closed this issue · 1 comments

From steschu@gmail.com on July 08, 2012 12:51:21

Problem:

One of the most common inference patterns regarding biological processes:

proc1 occurs in biostruct1
biostruc1 is located in biostruct2 at all times
->
proc1 occurs in biostruct2

Example:
Every Appendicitis_process occurs in some Appendix(in situ)
Every Appendix(in situ) is located in some Intestine
->
Every Appendicitis_process occurs in some Intestine

The shape of the spatiotemporal region occupied by the process as well as its time-dependent spatial projections are pointless.

What matters is that each of these spatial projections is a part of the spatial region at which the appendix(in situ) is located.

Due to the transitivity of 'continuant part of at all times' each of these spatial projections is also a part of the spatial region at which the intestine is located.

Maybe we can express this via complicated role chains, but I think a new relation is required.
This kind of 'localization of a process in an independent continuant' is different from the a process having an independent continuant as participant.

Original issue: http://code.google.com/p/bfo/issues/detail?id=98

From alanruttenberg@gmail.com on July 10, 2012 09:42:32

Status: Duplicate
Owner: alanruttenberg@gmail.com
Mergedinto: 78