hadnagy volt a Mazzuchelli ezredben – a cs. kir. 10. (galíciai) gyalogezred viselte Alois Mazzuchelli gróf táborszernagy (1776-1868) nevét; Ormai+ azonban nem ebben az ezredben, hanem a Leiningen+ gyalogosoknál volt hadnagy.