Eu acho que o OAT no exemplo é o que seu termômetro on-board está mostrando, então a 12.500 pés, não ao nível do mar. ISA é de + 15 ° C ao nível do mar, mas a 12.500 pés é - 9,8 ° C , então você está a apenas -10 da ISA. Vamos ver. 4 ⋅ 12,5 ⋅ (−10) = −500, então as fórmulas combinam.
Note, porém, que isso ainda é apenas uma aproximação. A taxa de lapso de temperatura também pode ser diferente e isso também deve ser levado em consideração. A equação mais precisa também é não-linear.