unabbreviate
动词 v.
英文释义
动词 v.
-
To make unabbreviated, to expand something which was abbreviated.
— It is easy to see what is going on, if in G & ∀x∃yP(x, y) we not only unabbreviate G, but take the outer conjunctions apart, […]
词源
From un- + abbreviate.
0 次浏览
数据来源: Wiktionary