Purported example of why at-all-times is wrong

[zhengj2007]

From [email protected] on February 05, 2013 12:21:11

Mentioned by Chris Mungall in https://groups.google.com/d/msg/bfo-owl-devel/4iW_pVjfVIM/l2rZs6cUx6EJ and (I think) https://groups.google.com/d/msg/bfo-owl-devel/ToFi7JazGQc/ZTMFD5B-DzsJ The files pointed to are in: https://code.google.com/p/bfo/source/browse/trunk/src/ontology/owl-group/examples/ ReadmeProver.txt nuclei-cell-division.out
nuclei-cell-division.prover9

It looks to me that this is an issue with specific versus generic parthood, something that is not handled by any of the current proposals, or by BFO 1.1 OWL, rather than something specific to the temporalization, but a closer analysis will provider further information.

Original issue: http://code.google.com/p/bfo/issues/detail?id=150