Axioms for Process are redundant
Closed this issue · 3 comments
zhengj2007 commented
From steschu@gmail.com on July 08, 2012 13:29:54
'has occurrent part' only (process or 'process boundary')
implies
'has proper occurrent part' only (process or 'process boundary')
because
'has proper occurrent part' subrelationOf 'has occurrent part'
Original issue: http://code.google.com/p/bfo/issues/detail?id=100
zhengj2007 commented
From alanruttenberg@gmail.com on July 09, 2012 00:45:40
Removed many such redundant axioms (not harmful, but unsightly)
please close if acceptable.
Status: Started
Owner: alanruttenberg@gmail.com
Labels: -Type-BFO2-Reference Type-BFO2-OWL
zhengj2007 commented
From alanruttenberg@gmail.com on July 09, 2012 21:35:53
Status: Submitter-Review
zhengj2007 commented
From alanruttenberg@gmail.com on July 10, 2012 09:35:27
Status: Fixed