AnswerEX1-d: Difference between revisions
No edit summary |
No edit summary |
||
Line 33: | Line 33: | ||
I (male) = {<Tom>, <Paul>}<br/><br/> | I (male) = {<Tom>, <Paul>}<br/><br/> | ||
I (likes eating shoes) = {<Walter>}<br/><br/> | I (likes eating shoes) = {<Walter>}<br/><br/><br/><br/> | ||
'''Interpretations functions'''<br/><br/> | '''Interpretations functions'''<br/><br/> |
Revision as of 17:30, 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 (live in Berlin) = {<Alice>, <Paul>, <Tom>, <Lisa>}
I (live 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 Paul) = {<Tom>}
I (daughter of Alice) = {<Lisa>}
I (mother of Lisa) = {<Alice>}
I (father of Tom) = {<Paul>}
I (enjoy watching football together) = {<Lisa, Paul, Alice, Tom>}
I (enjoy watching soccer together) = {<Alice, Lisa>}