history-of elucidation problem

[GoogleCodeExporter]

as(history_of)[Elucidation: b history_of c if c is a material entity or site 
and b is a history that is the unique history of c

We can't have histories of sites because sites and other continuants can share 
spatiotemporal regions, which would make the relation not necessarily 1:1. 
Histories and history-of need to be restricted to material entities. 

Workarounds would be to have an addition class/relation for sites, or to not 
have sites occupy spatiotemporal regions. I would guess you (Barry) would 
prefer 1 over 2, but would find neither appealing.

Logic sucks that way.

-Alan

Original issue reported on code.google.com by alanruttenberg@gmail.com on 10 May 2013 at 1:23

[GoogleCodeExporter]

At the meeting I proposed to modify the definition to address the current 
situation in which immaterial entities are considered parts of material 
entities. We would change the definition to:

ELUCIDATION: A history of a material entity is a process that is the sum of the 
totality of processes taking place in the spatiotemporal regions occupied by 
its material parts.

and add

No two material entities occupy the same spatial region at the same time. 

Original comment by alanruttenberg@gmail.com on 15 May 2013 at 10:33

[GoogleCodeExporter]

have to add site-history-of has-site-history plus segments (if we want to 
enable histories of sites)

Barry will add and Fix this: "No two material entities occupy the same spatial 
region at the same time unless one is part of the other at that time? "

(have to make sure that hands occupying a part of the region of the body is ok, 
but hands of two different people don't occupy the same region at the same time)

If we can't use one relation for sites and material entities, fix in the next 
release

Original comment by alanruttenberg@gmail.com on 5 Jun 2013 at 6:37