ExerciseFOModels-c: Difference between revisions
No edit summary |
No edit summary |
||
Line 18: | Line 18: | ||
'''married-to-eachother''': {<''x'', ''y''> | ''x'' is married to ''y''} = {<''Alice'', ''Paul''>, <''Paul'', ''Alice''} | '''married-to-eachother''': {<''x'', ''y''> | ''x'' is married to ''y''} = {<''Alice'', ''Paul''>, <''Paul'', ''Alice''} | ||
'''enjoy-watching-football-together''': {<''x'', ''y''> | ''x'' enjoys watching football with y} = {<Alice,Paul>,<Paul,Alice>,<Alice,Lisa>,<Lisa,Alice>,<Alice,Tom>,<Tom,Alice>,<Paul,Lisa>,<Lisa,Paul>,<Paul,Tom>, <Tom,Paul>,<Tom,Lisa>,<Lisa,Tom> | '''enjoy-watching-football-together''': {<''x'', ''y''> | ''x'' enjoys watching football with ''y''} = {<''Alice'', ''Paul''>, <''Paul'', ''Alice''>, <''Alice'', ''Lisa''>, <''Lisa'', ''Alice''>, <''Alice'', ''Tom''>, <''Tom'', ''Alice''>, <''Paul'', ''Lisa''>, <''Lisa'', ''Paul''>, <''Paul'', ''Tom''>, <''Tom'', ''Paul''>, <''Tom'', ''Lisa''>, <''Lisa'', ''Tom>''} | ||
Latest revision as of 20:58, 21 October 2013
Here are examples of some relations:
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>}
brother-of-someone: {<x, y> | x is the brother of y} = {<Tom, Lisa>}
sister-of-someone: is the sister of y} = {<Lisa, Tom>}
dog-of-someone: {<x, y> | x is the dog of y} = {<Walter, Alice>, <Walter, Paul>, <Walter, Tom>, <Walter, Lisa>}
married-to-eachother: {<x, y> | x is married to y} = {<Alice, Paul>, <Paul, Alice}
enjoy-watching-football-together: {<x, y> | x enjoys watching football with y} = {<Alice, Paul>, <Paul, Alice>, <Alice, Lisa>, <Lisa, Alice>, <Alice, Tom>, <Tom, Alice>, <Paul, Lisa>, <Lisa, Paul>, <Paul, Tom>, <Tom, Paul>, <Tom, Lisa>, <Lisa, Tom>}
- the current exercise
- the exercises for chapter 2
- the material for chapter 2
- the overview over all chapters