AnswerEX1-d: Difference between revisions
No edit summary |
No edit summary |
||
Line 17: | Line 17: | ||
'''Properties:''' | '''Properties:''' | ||
I (wants to live in Munich) = {<Alice>, <Paul>, <Tom>, <Lisa>}<br/><br/> | I (wants to live in Munich) = {<Alice>,<Paul>,<Tom>,<Lisa>}<br/><br/> | ||
I ( | I (lives in Berlin) = {<Alice>,<Paul>,<Tom>,<Lisa>}<br/><br/> | ||
I ( | I (lives in Munich) = {}<br/><br/> | ||
I (rather small) = {<Alice>, <Tom>}<br/><br/> | I (rather small) = {<Alice>,<Tom>}<br/><br/> | ||
I (tall) = {<Lisa>, <Paul>}<br/><br/> | I (tall) = {<Lisa>,<Paul>}<br/><br/> | ||
I (blonde) = {<Alice>, <Lisa>}<br/><br/> | I (blonde) = {<Alice>,<Lisa>}<br/><br/> | ||
I (female) = {<Alice>, <Lisa>}<br/><br/> | I (female) = {<Alice>,<Lisa>}<br/><br/> | ||
I (male) = {<Tom>, <Paul>}<br/><br/> | I (male) = {<Tom>,<Paul>}<br/><br/> | ||
I (likes eating shoes) = {<Walter>}<br/><br/><br/> | I (likes eating shoes) = {<Walter>}<br/><br/><br/> | ||
Line 41: | Line 41: | ||
I (doesn't care about sports) = {<Walter>}<br/><br/> | I (doesn't care about sports) = {<Walter>}<br/><br/> | ||
I (bored watching soccer) = {<Tom>, <Paul>}<br/><br/> | I (bored watching soccer) = {<Tom>,<Paul>}<br/><br/> | ||
I (enjoys watching soccer) = {<Alice>, <Paul>, <Tom>, <Lisa>}<br/><br/> | I (enjoys watching soccer) = {<Alice>,<Paul>,<Tom>,<Lisa>}<br/><br/> | ||
Line 50: | Line 50: | ||
'''Relations:'''<br/><br/> | '''Relations:'''<br/><br/> | ||
I (son of | I (son of someone) = {<Tom,Paul>,<Tom,Alice>} | ||
I (daughter of someone) = {<Lisa,Paul>,<Lisa,Alice>} | |||
I ( | I (mother of someone) = {<Alice, Lisa},<Alice,Paul>} | ||
I ( | I (father of someone) = {<Paul,Tom>,<Paul,Lisa>} | ||
I ( | I (enjoy watching football together) = {<Alice,Paul>,<Alice,Lisa>,<Alice,Tom>,<Paul,Lisa>, <Paul,Tom>,<Tom,Lisa>} | ||
Revision as of 20:06, 25 January 2013
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>}