BFO-ontology/BFO

'has disposition at all times' only has one parent

Opened this issue · 3 comments

From batchelorc@rsc.org on August 13, 2012 10:44:16

I think if x 'has disposition at all times' (quantifier) d, x 'has disposition at some time' (quantifier) d.

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

From alanruttenberg@gmail.com on August 13, 2012 21:50:40

Yup. Thanks!

Status: Accepted
Owner: alanruttenberg@gmail.com

From alanruttenberg@gmail.com on September 10, 2012 14:24:23

fixed in source

Status: Submitter-Review

From alanruttenberg@gmail.com on September 13, 2012 16:30:16

Issue 127 has been merged into this issue.