"tidsintervall" er et 13-bokstavers substantiv som brukes som synonym for "maskintider". maskintider betyr: Intervallet av tid maskinen er i bruk