Article · Wikipedia archive · Last revised Aug 1, 2026

Subsumption

Subsumption may refer to:A minor premise in symbolic logic 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

Last revised
Aug 1, 2026
Read time
≈ 1 min
Length
62 w
Citations
Source