Axioms for Process are redundant

[zhengj2007]

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]

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]

From alanruttenberg@gmail.com on July 09, 2012 21:35:53

Status: Submitter-Review

[zhengj2007]

From alanruttenberg@gmail.com on July 10, 2012 09:35:27

Status: Fixed