Subsumtion, Subsumption

<=> Logiken, terminologische

<== Generalisierung

<== Verallgemeinerung

<== Wissen und Wissensrepräsentation

<== Teil-von-Relation

<== Resolution

<== Begriff

<== Schema