Subsumption may refer to:
* A minor premise in symbolic logic (see
syllogism
A syllogism ( grc-gre, συλλογισμός, ''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 ...
)
* The
Liskov substitution principle
The Liskov substitution principle (LSP) is a particular definition of a subtyping relation, called strong behavioral subtyping, that was initially introduced by Barbara Liskov in a 1988 conference keynote address titled ''Data abstraction and h ...
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 Pro ...
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 subclass ...
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
Theta-subsumption (θ-subsumption, or just subsumption) is a decidable relation between two first-order clauses that guarantees that one clause logically entails the other. It was first introduced by John Alan Robinson in 1965 and has become a fu ...
, a decidable entailment relation between clauses
{{disambig