relations with same elucidation

[GoogleCodeExporter]

Elucidation of following three terms are same:
http://purl.obolibrary.org/obo/BFO_0000059 concretizes at some time
http://purl.obolibrary.org/obo/BFO_0000058 concretized by at some time
http://purl.obolibrary.org/obo/BFO_0000164 concretizes at all times

It is:
b concretizes c at t means: b is a specifically dependent continuant & c is a 
generically dependent continuant & for some independent continuant that is not 
a spatial region d, b s-depends_on d at t & c g-depends on d at t & if c 
migrates from bearer d to another bearer e than a copy of b will be created in 
e. (axiom label in BFO2 Reference: [075-002])

Original issue reported on code.google.com by zhengj2...@gmail.com on 21 May 2014 at 3:30

[GoogleCodeExporter]

[deleted comment]

[GoogleCodeExporter]

This is a known issue.

The issue is that the documentation is taken from the reference and often the 
documentation of the inverse is not given. 

'Concretizes at some time is' inverse of 'concretized by at some time'

I try to mitigate the problem by adding a note about the inverses and a editor 
note about the temporal qualification.

The documentation of 'concretized by at some time' is marked as coming from the 
inverse relation, pending a resolution to how to get the inverse documentation 
- either by generation or by a person adding them to the reference.

For the same reason, the at-all-times and at-some-times relations also don't 
have custom elucidations, however they each have an editor note that documents 
the temporal quantification and which is different between the two.

Original comment by alanruttenberg@gmail.com on 23 May 2014 at 8:25