Na representação do conhecimento, programação e design orientado a objeto (ver arquitetura de programa orientada a objeto), is-a (is_a ou is a) é uma relação de subsunção entre abstrações (e.g. tipos, classes), em que uma classe A é uma subclasse de outra classe B (e, portanto, B é uma superclasse de A).