Identity criteria for temporal parts of processes?

[alanruttenberg]

In https://github.com/CommonCoreOntology/CommonCoreOntologies/issues/112#issuecomment-795868945 I mention that I think that the following make sense. I don't remember if there's already an axiom to that effect or whether it is entailed, so this issue is a reminder to check, and to have a place for possible objections to this if it isn't.

if p1 is a temporal part of p that occupies temporal region t and p2 is a temporal part of p that occupies temporal region that also occupies t, then p1 = p2.

[alanruttenberg]

Barry thinks this is true. I will make sure it is either implied already or add an axiom if not.

[alanruttenberg]

Identified a bug in the definition of temporal part for processes. Fixed that but the model broke, so need to fix that.

[alanruttenberg]

Fixing bug in the definition makes the model no longer work, so it has to be repaired. Barry has indicated that for the purposes of getting a version onto the ISO site, we will remove the axiom for now and then fix it once the ISO version is packaged. The ISO version will have a notice that the most recent version will be in this repository.