AnswerEX1-d: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
No edit summary
 
(6 intermediate revisions by the same user not shown)
Line 1: Line 1:
'''U = {<Alice>,<Paul>,<Tom>,<Lisa>,<Walter>'''}<br/><br/>


<span style="color:red">Comment Sailer: The universe just contains the individuals (see previous exercise)</span>
''U = {Alice,Paul,Tom,Lisa,Walter''}<br/><br/>




'''Names:'''<br/><br/>
'''Names:'''<br/><br/>


I (''Alice'') = <'''Alice'''><br/><br/>
I ('''Alice''') = ''Alice''<br/><br/>


I (''Paul'') = <'''Paul'''><br/><br/>
I ('''Paul''') = ''Paul''<br/><br/>


I (''Tom'') = <'''Tom'''><br/><br/>
I ('''Tom''') = ''Tom''<br/><br/>


I (''Lisa'') = <'''Lisa'''><br/><br/>
I ('''Lisa''') = ''Lisa''<br/><br/>
 
I ('''Walter''') = ''Walter''<br/><br/>


I (''Walter'') = <'''Walter'''><br/><br/>


<span style="color:red">Comment Sailer: Names denote individuals, i.e. (using the textbook system for the fonts): </span> I('''Lisa''') = ''Lisa''.




'''Properties:'''
'''Properties:'''


I (''wants to live in Munich'') = {<'''Alice'''>,<'''Paul'''>,<'''Tom'''>,<'''Lisa'''>}<br/><br/>
I ('''wants-to-live-in-Munich''') = {<''Alice''>,<''Paul''>,<''Tom''>,<''Lisa''>}<br/><br/>


I (''lives in Berlin'') = {<'''Alice'''>,<'''Paul'''>,<'''Tom'''>,<'''Lisa'''>}<br/><br/>
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'') = {<'''Lisa'''>,<'''Paul'''>}<br/><br/>
I ('''tall''') = {<''Lisa''>,<''Paul''>}<br/><br/>


I (''blonde'') = {<'''Alice'''>,<'''Lisa'''>}<br/><br/>
I ('''blonde''') = {<''Alice''>,<''Lisa''>}<br/><br/>


I (female) = {<'''Alice'''>,<'''Lisa'''>}<br/><br/>
I ('''female''') = {<''Alice''>,<''Lisa''>}<br/><br/>


I (''male'') = {<'''Tom'''>,<'''Paul'''>}<br/><br/>
I ('''male''') = {<''Tom''>,<'''Paul'''>}<br/><br/>


I (''likes eating shoes'') = {<'''Walter'''>}<br/><br/>
I ('''likes-eating-shoes''') = {<''Walter''>}<br/><br/>


I (''doesn't care about sports'') = {<'''Walter'''>}<br/><br/>
I ('''doesn't-care-about-sports''') = {<''Walter''>}<br/><br/>


I (''bored watching soccer'') = {<'''Tom'''>,<'''Paul'''>}<br/><br/>
I ('''bored-watching-soccer''') = {<''Tom''>,<''Paul''>}<br/><br/>


I (''enjoys watching soccer'') = {<'''Alice'''>,<'''Paul'''>,<'''Tom'''>,<'''Lisa'''>}<br/><br/>
I ('''enjoys-watching-soccer''') = {<''Alice''>,<''Lisa''>}<br/><br/>
 
I('''enjoys-watching-football''') = {<''Alice''>,<''Lisa''>,<''Paul''>,<''Tom''>}


<span style="color:red">Comment Sailer: Is this compatible with your story? Tom and Paul both like watching soccer and get bored when watching soccer?</span>




'''Relations:'''<br/><br/>
'''Relations:'''<br/><br/>


I (''son of someone'') = {<'''Tom,Paul'''>,<'''Tom,Alice'''>}
I ('''son-of-someone''') = {<''Tom,Paul''>,<''Tom,Alice''>}


I (''daughter of someone'') = {<'''Lisa,Paul'''>,<'''Lisa,Alice'''>}
I ('''daughter-of-someone''') = {<''Lisa,Paul''>,<''Lisa,Alice''>}
 


I ('''mother-of-someone''') = {<''Alice, Lisa''>,<''Alice,Paul''>}


I (''mother of someone'') = {<'''Alice, Lisa'''>,<'''Alice,Paul'''>}


I ('''father-of-someone''') = {<''Paul,Tom''>,<''Paul,Lisa''>}


I (''father of someone'') = {<'''Paul,Tom'''>,<'''Paul,Lis'''a>}


I ('''brother-of-someone''') = {<''Tom,Lisa''>}


I (''brother of someone'') = {<'''Tom,Lisa'''>}


I ('''sister-of-someone''')  = {<'''Lisa,Tom'''>}


I (''sister of someone'')  = {<'''Lisa,Tom'''>}


I ('''dog-of-someone''') = {<''Walter,Alice''>,<''Walter,Paul''>,<''Walter,Tom''>,<''Walter,Lisa''>}


I (''dog of someone'') = {<'''Walter,Alice'''>,<'''Walter,Paul'''>,<'''Walter,Tom'''>,<'''Walter,Lisa'''>}


I ('''married-to-eachother''')  = {<''Alice,Paul''>,<''Paul,Alice''>}


I (''married to eachother'')  = {<'''Alice,Paul'''>}


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''>}


I (''enjoy watching football together'') = {<'''Alice,Paul'''>,<'''Alice,Lisa'''>,<'''Alice,Tom'''>,<'''Paul,Lisa'''>, <'''Paul,Tom'''>,<'''Tom,Lisa'''>}


<span style="color:red">Comment Sailer:<br />
1) check the fonts.<br />
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.</span>




Line 85: 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>}



Navigation