zhengj2007
commented
9 years ago From alanruttenberg@gmail.com on May 23, 2014 13:25:36
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.
Owner: alanruttenberg@gmail.com
From zhengj2...@gmail.com on May 21, 2014 11:30:12
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: http://code.google.com/p/bfo/issues/detail?id=191