Instantiierung

==> Kalkül

<== Instanz

==> Prädikatenlogik

==> Horn-Klausel

<== Inferenzverfahren

<== Deduktion

==> Formel

<== Psychosemantik