Add annotations to 'contains process' and 'occurs in'

[GoogleCodeExporter]

As in Issue #36 about 'realizes', these relations are defined by BFO. In BFO 
they have technical textual definitions. I would like to add paraphrases of the 
definitions, and rdfs:isDefinedBy annotations. BFO has no examples of usage, 
and I'm hesitant to add any.

For the paraphrases I tried adding something about spatiotemporal regions, or 
space and time, but it didn't work well. I think that "entirely within the 
independent continuant" is clear and accurate.

BFO_0000067 contains process
- copy definition from BFO OWL: [copied from inverse property 'occurs in'] b 
occurs_in c =def b is a process and c is a material entity or immaterial 
entity& there exists a spatiotemporal region r and b 
occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c exists_at 
t & there exist spatial regions s and s’ where & b spatially_projects_onto s 
at t& c is occupies_spatial_region s’ at t& s is a proper_continuant_part_of 
s’ at t
- add rdfs:comment: Paraphrase of definition: a relation between an independent 
continuant and a process, in which the process takes place entirely within the 
independent continuant
- add rdfs:isDefinedBy: http://purl.obolibrary.org/obo/bfo.owl
BFO_0000066 occurs in
- copy definition from BFO OWL: b occurs_in c =def b is a process and c is a 
material entity or immaterial entity& there exists a spatiotemporal region r 
and b occupies_spatiotemporal_region r.& forall(t) if b exists_at t then c 
exists_at t & there exist spatial regions s and s’ where & b 
spatially_projects_onto s at t& c is occupies_spatial_region s’ at t& s is a 
proper_continuant_part_of s’ at t
- add rdfs:comment: Paraphrase of definition: a relation between a process and 
an independent continuant, in which the process takes place entirely within the 
independent continuant
- add rdfs:isDefinedBy: http://purl.obolibrary.org/obo/bfo.owl

Original issue reported on code.google.com by ja...@overton.ca on 29 Jan 2015 at 3:42

[GoogleCodeExporter]

BFO_0000066 occurs in
- remove alternative term annotation: "Intended meaning..."

Original comment by ja...@overton.ca on 29 Jan 2015 at 3:47

[GoogleCodeExporter]

This issue was closed by revision r401.

Original comment by ja...@overton.ca on 6 Feb 2015 at 4:53

• Changed state: Fixed