知識表現、オブジェクト指向プログラミング、オブジェクト指向設計では、is-aとは、あるクラスBはもう一つのクラスAのサブクラスである(また、AはBのスーパークラスである)という関係である。
在知识表示、面向对象程序设计与面向对象设计的领域里，is-a（英语：subsumption，包含架构）指的是类别的父子继承关系，例如类别D是另一个类别B的子类别（类别B是类别D的父类别）。