Subsumption

Subsumption may refer to:


 * A minor premise in symbolic logic (see syllogism)
 * The Liskov substitution principle in object-oriented programming
 * Subtyping in programming language theory
 * Subsumption architecture in robotics
 * A subsumption relation in category theory, semantic networks and linguistics, also known as a "hyponym-hypernym relationship" (Is-a)
 * Formal and real capitalist subsumption describes different processes whereby capital comes to dominate an economic process. Coined in Karl Marx's Capital, Volume I
 * Theta-subsumption, a decidable entailment relation between clauses