Subsumption may refer to:
* A minor premise in symbolic logic (see
syllogism
A syllogism (, ''syllogismos'', 'conclusion, inference') is a kind of logical argument that applies deductive reasoning to arrive at a conclusion based on two propositions that are asserted or assumed to be true.
In its earliest form (defin ...
)
* The
Liskov substitution principle in object-oriented programming
*
Subtyping
In programming language theory, subtyping (also called subtype polymorphism or inclusion polymorphism) is a form of type polymorphism. A ''subtype'' is a datatype that is related to another datatype (the ''supertype'') by some notion of substi ...
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
''Capital. A Critique of Political Economy. Volume I: The Process of Production of Capital'' () is the first of three treatises that make up , a critique of political economy by the German philosopher and economist Karl Marx. First published on ...
*
Theta-subsumption, a decidable entailment relation between clauses
{{disambig