A tudásábrázolás, az objektum-orientált programozás és tervezés (lásd az objektum-orientált program architektúráját), az is-a (is_a vagy is a) az absztrakciók közötti alösszegzési kapcsolat (pl.g. típusok, osztályok), ahol az egyik A osztály egy másik B osztály alosztálya (és így B az A szuperosztálya).