Assertion: zip code | /r/HasProperty | archive format
Facets:
Source sentences:
text: Since ZIP is an archive format, you can easily convert ZIP to RAR, 7Z, ISO, TGZ, TAR, or any other compressed file, in two ways, depending on size: