ExerciseFOModels-c: Difference between revisions
No edit summary |
No edit summary |
||
| (One intermediate revision by the same user not shown) | |||
| Line 2: | Line 2: | ||
''son-of-someone: {<x,y>|x is the son of y} = {<Tom,Paul>,<Tom,Alice>} | '''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>} | '''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>} | '''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>} | '''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>} | '''brother-of-someone''': {<''x'', ''y''> | ''x'' is the brother of ''y''} = {<''Tom'', ''Lisa''>} | ||
''sister-of-someone: | '''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>} | '''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 | '''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