Definition über Angabe der Bedingung für x: x A sei diejenige Entität x, die A erfüllt.
|
"diejenige" wird je nach Theorie unterschiedlich definiert;
z.B. als die einzige Entität / eine bereits im Diskurs verankerte Entität / das maximale Element / die salienteste Entität / ... |
Ableitung von Analysen:
die Blume | => dasjenige x, für das gilt: x ist eine Blume | => | x(BLUME(x))
|
Die Blume ist rot. | => Für die Blume gilt: sie ist rot | | => Für dasjenige x, für das gilt: x ist eine Blume, gilt: x ist rot. | => | ROT( x(BLUME(x))) |
Allgemeine Form:"der/die/das F." => x (Fx) "der/die/das Fx ist G." => G( x(Fx)) |
die große violette Raupe | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | ![](uploads/RTEmagicC_38e9393506.gif.gif) x(GROß(x) /\ VIOLETT(x) /\ RAUPE(x)) | Sven gießt die Blume. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | GIEßEN(sven, ![](uploads/RTEmagicC_38e9393506.gif.gif) x(BLUME(x))) | Andi ruft Monas Schwester an. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | ANRUFEN(andi, ![](uploads/RTEmagicC_38e9393506.gif.gif) x(SCHWESTER(x,mona))) | Der Mörder verfolgt Steffi | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | VERFOLGEN( ![](uploads/RTEmagicC_38e9393506.gif.gif) x(MÖRDER(x)),steffi) | Martin kennt den Schiedsrichter. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | KENNEN(MARTIN, ![](uploads/RTEmagicC_38e9393506.gif.gif) x(SCHIEDSRICHTER(x))) | Uta besucht ihren Vater. | ![Lösung anzeigen](fileadmin/Image_Archive/birne.png) | BESUCHEN(uta, ![](uploads/RTEmagicC_38e9393506.gif.gif) x(VATER_VON(x,uta))) |
|