search

zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo
0 stars 0 forks source link

range of the occupies relation #96

Open GoogleCodeExporter opened 9 years ago

GoogleCodeExporter commented 9 years ago 
In the owl file: 'temporal region' or 'spatiotemporal region'

In the reference: 'spatiotemporal region' [082-002]

Original issue reported on code.google.com by steschu@gmail.com on 8 Jul 2012 at 11:18

GoogleCodeExporter commented 9 years ago 
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]

Original comment by alanruttenberg@gmail.com on 8 Jul 2012 at 1:27