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 reported on code.google.com by steschu@gmail.com on 8 Jul 2012 at 4:51
Original issue reported on code.google.com by
steschu@gmail.com
on 8 Jul 2012 at 4:51