puedes hacerlo asi:
ya que solo requieres la hora con
$hora_actual = date_format($hora, 'G:ia');
y utilizas G
que nos devuelve la hora en formato 0 - 23
son necesario los minutos
o si es am
o pm
por lo que quedaria asi
$hora_actual = date_format($hora, 'G');
ejemplo:
<?php
// hora
$hora = new DateTime("now", new DateTimeZone('America/Mexico_City'));
// solo queremos el numero de hora
$hora_actual = date_format($hora, 'G');
// hora de empiezo
$hora_inicio = 9;
// hora de finalizacion
$hora_final = 14;
// imprimimos hora actual
echo '<br><br>Hora completa: ' . date_format($hora, 'G:ia');
// validamos que la hora_actual sea mayor o igual al empiezo
// y validamos que la hora_actual sea menor a la final
if( $hora_actual >= $hora_inicio && $hora_actual < $hora_final ){
?>
<br><br>
<button>opcion 1</button>
<button>opcion 2</button>
<button>opcion 3</button>
<?php
}else{
?>
<br><br>
<button>opcion 0</button>
<?php
}