AnswerEX1-d: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
Line 83: Line 83:


*[[Creation_of_the_World|Link to the current exercise]]
*[[Creation_of_the_World|Link to the current exercise]]
*[[Interpretation_of_formulae_with_connectives|Link back to exercise 3]]
*[[NMTS-Group9|Link to the Wiki Page]]
*[[NMTS-Group9|Link to the Wiki Page]]

Revision as of 09:49, 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.


Navigation