Axioms for Process are redundant

zhengj2007 / bfo-export

Automatically exported from code.google.com/p/bfo

0 stars 0 forks source link

Axioms for Process are redundant #100

Closed GoogleCodeExporter closed 9 years ago

GoogleCodeExporter commented 9 years ago

'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 reported on code.google.com by steschu@gmail.com on 8 Jul 2012 at 5:29

GoogleCodeExporter commented 9 years ago

Removed many such redundant axioms (not harmful, but unsightly)
please close if acceptable.

Original comment by alanruttenberg@gmail.com on 9 Jul 2012 at 7:45

Changed state: Started
Added labels: Type-BFO2-OWL
Removed labels: Type-BFO2-Reference

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 10 Jul 2012 at 4:35

Changed state: Submitter-Review

GoogleCodeExporter commented 9 years ago

Original comment by alanruttenberg@gmail.com on 10 Jul 2012 at 4:35

Changed state: Fixed