Subsumption

From Wikipedia, the free encyclopedia

Subsumption may refer to:

  • Subsumption, a minor premise in symbolic logic
  • The Liskov substitution principle in object-oriented programming
  • Subsumption architecture in robotics
  • a subsumption relation in category theory, semantic networks and linguistics, also known as a hyponym-hypernym relationship (Is-a); a given set A is said to subsume set B if B is a subset of A; in other words, all individuals from B are also in A, not excluding the possibility that other individuals are also in A. In other words, B is a subset of A. This can also be written as "A ⊇ B", pronounced "A subsumes B". The inverse relationship also holds true: "B ⊆ A", or "B is subsumed by A". For example, A can be all animals and B can be all cats.
Languages