Logiken, terminologische

==> Netz, semantisches

<=> Subsumtion, Subsumption

<== Graph, konzeptueller

<== Wissenspräsentation

<== Frame

<== hybrid

<== Generalisierung

<== Verallgemeinerung

<== Wissen und Wissensrepräsentation

==> Komplexität

<== Instanz

==> Modallogik

==> Prädikatenlogik

<== Lernen, maschinelles

<== Computerlinguistik

==> Unifikationsgrammatik

<== Ontologie