AnswerEX1-d: Difference between revisions
No edit summary |
No edit summary |
||
Line 45: | Line 45: | ||
I (''enjoys watching soccer'') = {<'''Alice'''>,<'''Paul'''>,<'''Tom'''>,<'''Lisa'''>}<br/><br/> | I (''enjoys watching soccer'') = {<'''Alice'''>,<'''Paul'''>,<'''Tom'''>,<'''Lisa'''>}<br/><br/> | ||
<span style="color:red">Comment Sailer: Is this compatible with your story? Tom and Paul both like watching soccer and get bored when watching soccer?</span> | |||
Revision as of 00:08, 29 January 2013
U = {<Alice>,<Paul>,<Tom>,<Lisa>,<Walter>}
Comment Sailer: The universe just contains the individuals (see previous exercise)
Names:
I (Alice) = <Alice>
I (Paul) = <Paul>
I (Tom) = <Tom>
I (Lisa) = <Lisa>
I (Walter) = <Walter>
Comment Sailer: Names denote individuals, i.e. (using the textbook system for the fonts): 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>}
I (doesn't care about sports) = {<Walter>}
I (bored watching soccer) = {<Tom>,<Paul>}
I (enjoys watching soccer) = {<Alice>,<Paul>,<Tom>,<Lisa>}
Comment Sailer: Is this compatible with your story? Tom and Paul both like watching soccer and get bored when watching soccer?
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.