Verallgemeinerung

==> Abstraktion

==> Logiken, terminologische

==> Subsumtion, Subsumption

<== Mereologie

<== Vererbung

==> Allquantor

==> Begriff