AnswerEX1-d

U = {Alice,Paul,Tom,Lisa,Walter}

Names:

I (Alice) = Alice

I (Paul) = Paul

I (Tom) = Tom

I (Lisa) = Lisa

I (Walter) = Walter

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>}

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

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

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

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

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 (brother-of-someone) = {<Tom,Lisa>}

I (sister-of-someone) = {<Lisa,Tom>}

I (dog-of-someone) = {<Walter,Alice>,<Walter,Paul>,<Walter,Tom>,<Walter,Lisa>}

I (married-to-eachother) = {<Alice,Paul>}

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

Comment Sailer:
1) check the fonts.
2) brother-of, sister-of and married-to-eachother are symmetric relations, i.e., the pairs must also be in the relation in the other order.

Navigation

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