Dalam representasi pengetahuan, pemrograman dan desain berorientasi objek (lihat arsitektur program berorientasi objek), is-a (is_a atau adalah a) adalah hubungan subsumsi antara abstraksi (mis.G. tipe, kelas), di mana satu kelas A adalah subkelas dari kelas B lain (dan karenanya B adalah superkelas dari A).