AnswerEX1-c: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
| Line 10: | Line 10: | ||
*[[Creation_of_the_World|Link to the current exercise]] | *[[Creation_of_the_World|Link to the current exercise]] | ||
[[NMTS-Group9|Link to the Wiki Page]] | |||
Revision as of 13:31, 25 January 2013
son of someone: {<x,y>/x is the son of y} = {<Tom,Paul>,<Tom,Alice>}
father of someone: {<x,y>/ x is the father of y} ={<Paul,Tom>, <Paul, Lisa>}
daughter of someone: {<x,y>/ x is the daughter of y} ={Lisa, Paul}, {Lisa, Alice}
mother of someone: {<x,y>/ x is the mother of y} ={Alice, Lisa}, {Alice,Paul}
enjoy watching football games together: {<x,y>/x enjoys watching football with y and y enjoys watching football with x} = {<Alice, Paul>, <Paul, Alice>, <Lisa, Alice>, <Alice, Lisa>,<Alice, Tom>, <Tom, Alice>, <Paul, Lisa>, <Lisa, Paul>, <Paul, Tom>, <Tom, Paul>, <Tom, Lisa>, <Lisa, Tom>}