archive file format Deductions archive file format is for example optical disc image ⇐ (optical disc image is a archive file format), (is a is inverse of is for example) optical disc image is a archive file format ⇐ (disk image is subclass of archive file format), (optical disc image is a disk image)