AnswerEX1-d: Difference between revisions
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
''U = {Alice,Paul,Tom,Lisa,Walter''}<br/><br/> | ''U = {Alice,Paul,Tom,Lisa,Walter''}<br/><br/> | ||
Latest revision as of 13:36, 29 January 2013
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>,<Paul,Alice>}
I (enjoy-watching-football-together) = {<Alice,Paul>,<Paul,Alice>,<Alice,Lisa>,<Lisa,Alice>,<Alice,Tom>,<Tom,Alice>,<Paul,Lisa>,<Lisa,Paul>,<Paul,Tom>,<Tom,Paul>,<Tom,Lisa>,<Lisa,Tom>}