ExerciseFOModels-d
Jump to navigation
Jump to search
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>}