 |
| English | Russian |
| subsumption algorithm | алгоритм классификации (ssn) |
| subsumption architecture | предикативная архитектура (ssn) |
| subsumption rule | правило включения (если выражение e принадлежит к типу t' в контексте типизации Г, и выполняется t'<:t, то e принадлежит также и к типу t Alex_Odeychuk) |