Editing Subsumption (section)

{{wiktionarypar|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 [[Hierarchy#Subsumptive containment hierarchy|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 [[Das Kapital|Capital, Volume I]]
* [[Theta-subsumption]], a decidable entailment relation between clauses

{{disambig}}