We investigate finite presentability of monoids 
with finitely presented subgroups of finite index.  
If such a monoid satisfies some additional 
conditions, we can find a finite presentation of 
it.  As an application of the result, we exhibit 
a finite presentation of the braid inverse monoid.  
The braid inverse monoid naturally contains the 
braid group as a subgroup of finite index.