圧縮されたファイルは
a zipped file や a compressed fileと言います。
zipやcompressにそれぞれun-やde-をつけて反対の動作にできます。
と言うわけで、ファイルを解凍するのは「unzip」または「decompress」と言えます。
RAR形式ならunRARとしてもいいと思いますが、あえてunRARと細かく言わなくても上記二つを使っても通じると思います。
defrostも「解凍する」ですが、「凍っている食品などを解凍する」時に使いますので、これをfileに使わないようにご注意ください。
例:
You will get B.txt and C.txt once A.zip is uncompressed.
(A.zipを解凍すると、B.txtとC.txtになります)
I don't know how to unzip this file.
(このファイルの解凍の仕方がわかりません)
参考になれば幸いです。
「圧縮ファイルを解凍する」を英語では
unzip
decompress
という動詞を使うのが一般的です。
uncompress
と言う人もいます。
unzip/decompress a fileと言えば「ファイルを解凍する」です。
「(解凍すると)~になる」の部分はintoを使うことで表現できます。
unzip/decompress a file into A
(ファイルを解凍してAにする)
例えば、受け身を使って
A.zip will be decompressed into B.txt and C.txt.
と表せます。あるいは
If you unzip "A.zip", you will get "B.txt" and "C.txt”.
とも言えます。
参考になれば幸いです。