AnswerEX1-d

U = {<Alice>, <Paul>, <Tom>, <Lisa>}

Names:

I (Alice) = <Alice>

I (Paul) = <Paul>

I (Tom) = <Tom>

I (Lisa) = <Lisa>

Properties:

I (wants to live in Munich) = {<Alice>,<Paul>,<Tom>,<Lisa>}

I (lives in Berlin) = {<Alice>,<Paul>,<Tom>,<Lisa>}

I (lives in Munich) = {}

I (rather small) = {<Alice>,<Tom>}

I (tall) = {<Lisa>,<Paul>}

I (blonde) = {<Alice>,<Lisa>}

I (female) = {<Alice>,<Lisa>}

I (male) = {<Tom>,<Paul>}

I (likes eating shoes) = {<Walter>}

Interpretations functions

I (doesn't care about sports) = {<Walter>}

I (bored watching soccer) = {<Tom>,<Paul>}

I (enjoys watching soccer) = {<Alice>,<Paul>,<Tom>,<Lisa>}

Relations:

I (son of someone) = {<Tom,Paul>,<Tom,Alice>}

I (daughter of someone) = {<Lisa,Paul>,<Lisa,Alice>}

I (mother of someone) = {<Alice, Lisa},<Alice,Paul>}

I (father of someone) = {<Paul,Tom>,<Paul,Lisa>}

I (enjoy watching football together) = {<Alice,Paul>,<Alice,Lisa>,<Alice,Tom>,<Paul,Lisa>, <Paul,Tom>,<Tom,Lisa>}

Navigation

• Link to the current exercise
• Link to the Wiki Page