Žinių reprezentacijoje, į objektą orientuotame programavime ir projektavime (žr. Į objektą orientuotos programos architektūrą) is-a (is_a arba is a) yra abstrakcijų santykis (pvz.g. tipai, klasės), kur viena A klasė yra kitos B klasės poklasis (taigi B klasė yra A klasė).