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, subtyping (also subtype polymorphism or inclusion polymorphism) is a form of type polymorphism in which a subtype is a datatype that is related to another datatype (the supertype) by some notion of substitutability, ...
in programming language theory
*
Subsumption architecture Subsumption architecture is a reactive robotic architecture heavily associated with behavior-based robotics which was very popular in the 1980s and 90s. The term was introduced by Rodney Brooks and colleagues in 1986.Brooks, R. A., "A Robust Progr ...
in robotics
* A
subsumption relation
In knowledge representation, object-oriented programming and design (see object-oriented program architecture), is-a (is_a or is a) is a subsumption relationship between abstractions (e.g. types, classes), wherein one class ''A'' is a subcla ...
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'' (german: Das Kapital. Kritik der politischen Ökonomie Erster Band. Buch I: Der Produktionsprocess des Kapitals) is the first of three treatises that ma ...
*
Theta-subsumption, a decidable entailment relation between clauses
{{disambig