Subsumption
Encyclopedia
Subsumption may refer to:
- A minor premise in symbolic logicMathematical logicMathematical logic is a subfield of mathematics with close connections to foundations of mathematics, theoretical computer science and philosophical logic. The field includes both the mathematical study of logic and the applications of formal logic to other areas of mathematics...
(see syllogismSyllogismA syllogism is a kind of logical argument in which one proposition is inferred from two or more others of a certain form...
) - The Liskov substitution principleLiskov substitution principleSubstitutability is a principle in object-oriented programming. It states that, in a computer program, if S is a subtype of T, then objects of type T may be replaced with objects of type S without altering any of the desirable properties of that program...
in object-oriented programming - Subsumption architectureSubsumption architectureSubsumption architecture is a reactive robot architecture heavily associated with behavior-based robotics. The term was introduced by Rodney Brooks and colleagues in 1986...
in robotics - A subsumption relation in category theoryCategory theoryCategory theory is an area of study in mathematics that examines in an abstract way the properties of particular mathematical concepts, by formalising them as collections of objects and arrows , where these collections satisfy certain basic conditions...
, semantic networkSemantic networkA semantic network is a network which represents semantic relations among concepts. This is often used as a form of knowledge representation. It is a directed or undirected graph consisting of vertices, which represent concepts, and edges.- History :...
s and linguisticsLinguisticsLinguistics is the scientific study of human language. Linguistics can be broadly broken into three categories or subfields of study: language form, language meaning, and language in context....
, also known as a "hyponym-hypernymHypernymIn linguistics, a hyponym is a word or phrase whose semantic field is included within that of another word, its hypernym . In simpler terms, a hyponym shares a type-of relationship with its hypernym...
relationship" (Is-aIs-aIn knowledge representation, object-oriented programming and design, is-a or is_a or is a is a relationship where one class D is a subclass of another class B ....
) - Formal and real capitalist subsumption describes different processes whereby capital comes to dominate an economic process. Coined in Karl MarxKarl MarxKarl Heinrich Marx was a German philosopher, economist, sociologist, historian, journalist, and revolutionary socialist. His ideas played a significant role in the development of social science and the socialist political movement...
's Capital, Volume IDas KapitalDas Kapital, Kritik der politischen Ökonomie , by Karl Marx, is a critical analysis of capitalism as political economy, meant to reveal the economic laws of the capitalist mode of production, and how it was the precursor of the socialist mode of production.- Themes :In Capital: Critique of...