AnswerEX1-d: Difference between revisions
(Created page with "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) = {<Alic...") |
No edit summary |
||
Line 1: | Line 1: | ||
U = {<Alice>, <Paul>, <Tom>, <Lisa>} | '''U = {<Alice>, <Paul>, <Tom>, <Lisa>}'''<br/><br/> | ||
Names: | '''Names:'''<br/><br/> | ||
I (Alice) = <Alice> | I (Alice) = <Alice><br/><br/> | ||
I (Paul) = <Paul> | I (Paul) = <Paul><br/><br/> | ||
I (Tom) = <Tom> | I (Tom) = <Tom><br/><br/> | ||
I (Lisa) = <Lisa> | I (Lisa) = <Lisa><br/><br/> | ||
Properties: | '''Properties:''' | ||
I (wants to live in Munich) = {<Alice>, <Paul>, <Tom>, <Lisa>} | I (wants to live in Munich) = {<Alice>, <Paul>, <Tom>, <Lisa>}<br/><br/> | ||
I (live in Berlin) = {<Alice>, <Paul>, <Tom>, <Lisa>} | I (live in Berlin) = {<Alice>, <Paul>, <Tom>, <Lisa>}<br/><br/> | ||
I (live in Munich) = {} | I (live in Munich) = {}<br/><br/> | ||
I (rather small) = {<Alice>, <Tom>} | I (rather small) = {<Alice>, <Tom>}<br/><br/> | ||
I (tall) = {<Lisa>, <Paul> } | I (tall) = {<Lisa>, <Paul>}<br/><br/> | ||
I (blonde) = {<Alice>, <Lisa>} | I (blonde) = {<Alice>, <Lisa>}<br/><br/> | ||
I (female) = {<Alice>, <Lisa>} | I (female) = {<Alice>, <Lisa>}<br/><br/> | ||
I (male) = {<Tom>, <Paul>} | I (male) = {<Tom>, <Paul>}<br/><br/> | ||
I (likes eating shoes) = {<Walter>} | I (likes eating shoes) = {<Walter>}<br/><br/> | ||
'''Interpretations functions'''<br/><br/> | '''Interpretations functions'''<br/><br/> |
Revision as of 17:29, 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>}