zhengj2007
commented
9 years ago From alanruttenberg@gmail.com on July 08, 2012 06:27:44
Agreed on change. Reference needs adjustment as it still uses occupies with previous range:
ELUCIDATION: An occurrent is an entity that unfolds itself in time or it is the instantaneous boundary of such an entity (for example a beginning or an ending) or it is a temporal or spatiotemporal region which such an entity occupies. [077-001]
If an occurrent occupies a 2-minute temporal region, then the occurrent is the sum of two non-overlapping temporal parts (see below), each of 1-minute duration. Continuants have no temporal parts in this sense. Rather, continuants have spatial parts.
DEFINITION: a temporal_part_of b =Def. a occurrent_part_of b & & for some temporal region r, a occupies r & for all occurrents c, r′ (if c occupies r′ & r′ occurrent_part_of r then (c occurrent_part_of a iff c occurrent_part_of b)). [078-001]
AXIOM: Every temporal region r is such that r occupies r. [119-001]
THEOREM: Every occurrent occupies some temporal region. [109-001]
Status: Started
Owner: ifo...@gmail.com
From steschu@gmail.com on July 08, 2012 07:18:56
In the owl file: 'temporal region' or 'spatiotemporal region'
In the reference: 'spatiotemporal region' [082-002]
Original issue: http://code.google.com/p/bfo/issues/detail?id=96