Subsumption
≈ 1 min read
Names in other languages
No names in other languages are held for this entry yet.
Article bodies are English and are not machine-translated. A name in another language is not a translation of the article.
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 subsumption relation in category theory, semantic networks and linguistics, also known as a "hyponym-hypernym relationship" (Is-a) * Subsumption (Marxism), including the concepts of formal and real subsumption * Theta-subsumption, a decidable entailment relation between clauses
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 subsumption relation in category theory, semantic networks and linguistics, also known as a "hyponym-hypernym relationship" (Is-a) Subsumption (Marxism), including the concepts of formal and real subsumption Theta-subsumption, a decidable entailment relation between clauses
Text derived from https://en.wikipedia.org/w/index.php?oldid=1346972108 under CC BY-SA 4.0; modifications have been made.