Added has occurrent part (BFO_0000117) and part of occurrent (BFO_0000132) to obi-imports by hand. Removed most of the axioms.