AnswerEX1-d: Difference between revisions
No edit summary |
No edit summary |
||
(11 intermediate revisions by 2 users not shown) | |||
Line 1: | Line 1: | ||
''U = {Alice,Paul,Tom,Lisa,Walter''}<br/><br/> | |||
'''Names:'''<br/><br/> | '''Names:'''<br/><br/> | ||
I (''Alice'') = | I ('''Alice''') = ''Alice''<br/><br/> | ||
I (''Paul'') = | I ('''Paul''') = ''Paul''<br/><br/> | ||
I (''Tom'') = | I ('''Tom''') = ''Tom''<br/><br/> | ||
I (''Lisa'') = | I ('''Lisa''') = ''Lisa''<br/><br/> | ||
I (''Walter'') = | I ('''Walter''') = ''Walter''<br/><br/> | ||
Line 19: | Line 20: | ||
'''Properties:''' | '''Properties:''' | ||
I (''wants to live in Munich'') = {< | I ('''wants-to-live-in-Munich''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>}<br/><br/> | ||
I (''lives in Berlin'') = {< | I ('''lives-in-Berlin''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>}<br/><br/> | ||
I (''lives in Munich'') = {}<br/><br/> | I ('''lives-in-Munich''') = {}<br/><br/> | ||
I (''rather small'') = {<Alice>,<Tom>}<br/><br/> | I ('''rather-small''') = {<''Alice''>,<''Tom''>}<br/><br/> | ||
I (''tall'') = {< | I ('''tall''') = {<''Lisa''>,<''Paul''>}<br/><br/> | ||
I (''blonde'') = {< | I ('''blonde''') = {<''Alice''>,<''Lisa''>}<br/><br/> | ||
I (female) = {< | I ('''female''') = {<''Alice''>,<''Lisa''>}<br/><br/> | ||
I (''male'') = {< | I ('''male''') = {<''Tom''>,<'''Paul'''>}<br/><br/> | ||
I (''likes eating shoes'') = {< | I ('''likes-eating-shoes''') = {<''Walter''>}<br/><br/> | ||
I (''doesn't care about sports'') = {< | I ('''doesn't-care-about-sports''') = {<''Walter''>}<br/><br/> | ||
I (''bored watching soccer'') = {< | I ('''bored-watching-soccer''') = {<''Tom''>,<''Paul''>}<br/><br/> | ||
I (''enjoys watching soccer'') = {< | I ('''enjoys-watching-soccer''') = {<''Alice''>,<''Lisa''>}<br/><br/> | ||
I('''enjoys-watching-football''') = {<''Alice''>,<''Lisa''>,<''Paul''>,<''Tom''>} | |||
Line 48: | Line 50: | ||
'''Relations:'''<br/><br/> | '''Relations:'''<br/><br/> | ||
I (''son of someone'') = {< | I ('''son-of-someone''') = {<''Tom,Paul''>,<''Tom,Alice''>} | ||
I (''daughter of someone'') = {< | I ('''daughter-of-someone''') = {<''Lisa,Paul''>,<''Lisa,Alice''>} | ||
I (''mother of someone'') = {< | I ('''mother-of-someone''') = {<''Alice, Lisa''>,<''Alice,Paul''>} | ||
I (''father of someone'') = {< | I ('''father-of-someone''') = {<''Paul,Tom''>,<''Paul,Lisa''>} | ||
I (''brother of someone'') = {< | I ('''brother-of-someone''') = {<''Tom,Lisa''>} | ||
I (''sister of someone'') = {<'''Lisa,Tom'''>} | I ('''sister-of-someone''') = {<'''Lisa,Tom'''>} | ||
I (''dog of someone'') = {< | I ('''dog-of-someone''') = {<''Walter,Alice''>,<''Walter,Paul''>,<''Walter,Tom''>,<''Walter,Lisa''>} | ||
I (''married to eachother'') = {< | I ('''married-to-eachother''') = {<''Alice,Paul''>,<''Paul,Alice''>} | ||
I (''enjoy watching football together'') = {< | 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''>} | ||
Line 81: | Line 83: | ||
*[[Creation_of_the_World|Link to the current exercise]] | *[[Creation_of_the_World|Link to the current exercise]] | ||
*[[Formulae_and_their_interpretation|Link back to exercise 2]] | |||
*[[Interpretation_of_formulae_with_connectives|Link back to exercise 3]] | |||
*[[NMTS-Group9|Link to the Wiki Page]] | *[[NMTS-Group9|Link to the Wiki Page]] |
Latest revision as of 13:36, 29 January 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>}