ExerciseFOModels-d
Jump to navigation
Jump to search
Scenario
Scenario:
At the time Alice, Paul, Tom and Lisa live in Berlin, but they rather want to live in Munich. Alice is married to Paul. They are Tom and Lisa's parents. Both Lisa and her father are tall, while Alice and Tom are rather small. Lisa and her mom share the same hair color, which is blonde. The family enjoys watching American football games together. But while the girls also like watching soccer, the boys get bored of it. Walter, the family's dog, doesn't care about sports at all, he likes to eat the familiy members´ shoes.
Universe
U = {Alice,Paul,Tom,Lisa,Walter}
Names
Names = {alice, paul, tom, lisa, walter}
- I (alice) = Alice
- I (paul) = Paul
- I (tom) = Tom
- I (lisa) = Lisa
- I (walter) = Walter
Predicates
Properties
Predicates with arity 1:
- I (wants-to-live-in-Munich) = {<Alice>,<Paul>,<Tom>,<Lisa>}
- I (lives-in-Berlin) = {<Alice>,<Paul>,<Tom>,<Lisa>}
- I (lives-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>}
- I (doesn't-care-about-sports) = {<Walter>}
- I (bored-watching-soccer) = {<Tom>,<Paul>}
- I (enjoys-watching-soccer) = {<Alice>,<Lisa>}
- I(enjoys-watching-football) = {<Alice>,<Lisa>,<Paul>,<Tom>}
Relations
Predicates with arity 2:
- I (son-of-someone) = {<Tom,Paul>,<Tom,Alice>}
- I (daughter-of-someone) = {<Lisa, Paul>,<Lisa, Alice>}
- I (mother-of-someone) = {<Alice, Lisa>,<Alice, Paul>}
- I (father-of-someone) = {<Paul, Tom>,<Paul, Lisa>}
- I (brother-of-someone) = {<Tom, Lisa>}
- I (sister-of-someone) = {<Lisa, Tom>}
- I (dog-of-someone) = {<Walter,Alice>,<Walter,Paul>,<Walter,Tom>,<Walter,Lisa>}
- I (married-to-eachother) = {<Alice, Paul>, <Paul, Alice>}
- I (enjoy-watching-football-together)
= {<Alice, Paul>,<Paul, Alice>,<Alice, Lisa>,<Lisa, Alice>,<Alice, Tom>,<Tom, Alice>,<Paul, Lisa>,<Lisa, Paul>,<Paul, Tom>,<Tom, Paul>,<Tom, Lisa>,<Lisa, Tom>}