unabbreviation noun2 •The act of unabbreviating.T4. (x)(y)[(x ≪ y) ⊃ ~(y ≪ x)]. Partial unabbreviation of T4 yields ‘(x)(y){(x < y)⋅(x ≠ y) ⊃ ~[(y < x) ⋅ (y ≠ x)]}’. — 1970 •The result of unabbreviating.The first equivalence in *R7.8, *R7.9 is simply an unabbreviation of "α∘≯β". — 1962 formsunabbreviations
