ocular hypertension (MONDO_0006875) is abnormally high intraocular pressure.