English language
Toggle Transcript
subsumption::noun | Spocien Dictionary
| Type | Words |
|---|---|
| Synonyms | minor premise, minor premiss |
| Type of | premise, assumption, premiss |
subsumption::noun | Spocien Dictionary
| Type | Words |
|---|---|
| Type of | classification, sorting, categorization, categorisation |
| Derivation | subsume |
Examples of subsumption
subsumption
A subsumption of almost all other features of human life to one chosen talent and pursuit.
From the telegraph.co.uk
The derived subsumption pairs are visualized effectively on the screen.
From the en.wikipedia.org
Subsumes previous theories as approximations, and allows possible subsumption by future theories.
From the en.wikipedia.org
In the late 1980s Brooks and his team introduced Allen, a robot using subsumption architecture.
From the en.wikipedia.org
As a result we are able to derive a large scale taxonomy containing a large amount of subsumption, i.e. isa, relations.
From the en.wikipedia.org
The experiment shows that our proposed algorithm managed to find the correct subsumption pairs with high accuracy.
From the en.wikipedia.org
The province of Moray had a history of standing apart from the Scottish kingdom and long resisted subsumption within it.
From the en.wikipedia.org
The individualist wishes to highlight the importance of the individual and prevent subsumption into a collective.
From the en.wikipedia.org
Services are semantically discoverable based on their subsumption hierarchies as well as their input and output data types.
From the en.wikipedia.org
- Minor premise: the premise of a syllogism that contains the minor term (which is the subject of the conclusion)
- Incorporating something under a more general category
- A subsumption relation specifies the relative generality of two concepts. A concept A subsumes a concept B if the definitions of A and B logically imply that members of B must also be members of A.
- A fundamental rule of subtyping, asserting that if a term has a type A, and (A <: B) (the subtype relationship), then the term can be passed to functions that take parameters of type B.
- Given two concept descriptions C and D, C is said to subsume D, DC, when it is necessarily the case that all the instances of D are instances of C.
