ExerciseFOModels-d: Difference between revisions
(Created page with " ''U'' = {''Alice,Paul,Tom,Lisa,Walter''}<br/><br/> '''Names:'''<br/><br/> I ('''alice''') = ''Alice''<br/><br/> I ('''paul''') = ''Paul''<br/><br/> I ('''tom''') = ''Tom...") |
|||
Line 82: | Line 82: | ||
====Navigation==== | ====Navigation==== | ||
*[[ | *[[Exercise_First_Order_Models|Link to the exercise on how to create a world]] | ||
*[[Formulae_and_their_interpretation|Link back to exercise | *[[Formulae_and_their_interpretation|Link back to the exercise on formulae that uses this world]] | ||
*[[Interpretation_of_formulae_with_connectives|Link back to exercise | *[[Interpretation_of_formulae_with_connectives|Link back to the exercise on the interpretation of formulae that uses this world]] | ||
*[[NMTS-Group9|Link to the Wiki Page]] | *[[NMTS-Group9|Link to the Wiki Page]] |
Revision as of 13:49, 15 May 2013
U = {Alice,Paul,Tom,Lisa,Walter}
Names:
I (alice) = Alice
I (paul) = Paul
I (tom) = Tom
I (lisa) = Lisa
I (walter) = Walter
Properties:
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:
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>}