AnswerEX1-d: Difference between revisions
No edit summary |
No edit summary |
||
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''') = ''Walter''<br/><br/> | |||
'''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'') = {< | 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/> | ||
'''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''>} | ||
I (''enjoy watching football together'') = {< | I ('''enjoy watching football together''') = {<''Alice,Paul''>,<''Alice,Lisa''>,<''Alice,Tom''>,<''Paul,Lisa''>, <''Paul,Tom'''>,<''Tom,Lisa'''>} | ||
<span style="color:red">Comment Sailer:<br /> | <span style="color:red">Comment Sailer:<br /> |
Revision as of 09:33, 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>}
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>}
I (enjoy watching football together) = {<Alice,Paul>,<Alice,Lisa>,<Alice,Tom>,<Paul,Lisa>, <Paul,Tom>,<Tom,Lisa>}
Comment Sailer:
1) check the fonts.
2) brother-of, sister-of and married-to-eachother are symmetric relations, i.e., the pairs must also be in the relation in the other order.