ExerciseFOModels-d: Difference between revisions

From Lexical Resource Semantics
Jump to navigation Jump to search
No edit summary
Line 1: Line 1:
 
== Universe ==
''U'' = {''Alice,Paul,Tom,Lisa,Walter''}<br/><br/>
''U'' = {''Alice,Paul,Tom,Lisa,Walter''}<br/><br/>


== Names ==


'''Names:'''<br/><br/>
''Names'' = {''alice, paul, tom, lisa, walter''}
 
I ('''alice''') = ''Alice''<br/><br/>
 
I ('''paul''') = ''Paul''<br/><br/>
 
I ('''tom''') = ''Tom''<br/><br/>
 
I ('''lisa''') = ''Lisa''<br/><br/>
 
I ('''walter''') = ''Walter''<br/><br/>
 
 
 
 
'''Properties:'''
 
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-Munich''') = {}<br/><br/>
 
I ('''rather-small''') = {<''Alice''>,<''Tom''>}<br/><br/>
 
I ('''tall''') = {<''Lisa''>,<''Paul''>}<br/><br/>
 
I ('''blonde''') = {<''Alice''>,<''Lisa''>}<br/><br/>
 
I ('''female''') = {<''Alice''>,<''Lisa''>}<br/><br/>
 
I ('''male''') = {<''Tom''>,<'''Paul'''>}<br/><br/>
 
I ('''likes-eating-shoes''') = {<''Walter''>}<br/><br/>
 
I ('''doesn't-care-about-sports''') = {<''Walter''>}<br/><br/>
 
I ('''bored-watching-soccer''') = {<''Tom''>,<''Paul''>}<br/><br/>
 
I ('''enjoys-watching-soccer''') = {<''Alice''>,<''Lisa''>}<br/><br/>
 
I('''enjoys-watching-football''') = {<''Alice''>,<''Lisa''>,<''Paul''>,<''Tom''>}
 
 
 
'''Relations:'''<br/><br/>
 
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 ('''alice''') = ''Alice''
* I ('''paul''') = ''Paul''
* I ('''tom''') = ''Tom''
* I ('''lisa''') = ''Lisa''
* I ('''walter''') = ''Walter''


== Predicates ==
=== Properties ===


I ('''married-to-eachother''')  = {<''Alice, Paul''>, <''Paul, Alice''>}
Predicates with arity 1:


* 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-Munich''') = {}<br/><br/>
* I ('''rather-small''') = {<''Alice''>,<''Tom''>}<br/><br/>
* I ('''tall''') = {<''Lisa''>,<''Paul''>}<br/><br/>
* I ('''blonde''') = {<''Alice''>,<''Lisa''>}<br/><br/>
* I ('''female''') = {<''Alice''>,<''Lisa''>}<br/><br/>
* I ('''male''') = {<''Tom''>,<'''Paul'''>}<br/><br/>
* I ('''likes-eating-shoes''') = {<''Walter''>}<br/><br/>
* I ('''doesn't-care-about-sports''') = {<''Walter''>}<br/><br/>
* I ('''bored-watching-soccer''') = {<''Tom''>,<''Paul''>}<br/><br/>
* I ('''enjoys-watching-soccer''') = {<''Alice''>,<''Lisa''>}<br/><br/>
* I('''enjoys-watching-football''') = {<''Alice''>,<''Lisa''>,<''Paul''>,<''Tom''>}


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


=== Relations ===


Predicates with arity 2:


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




<hr />
====Navigation====
====Navigation====


Revision as of 13:54, 15 May 2013

Universe

U = {Alice,Paul,Tom,Lisa,Walter}

Names

Names = {alice, paul, tom, lisa, walter}

  • I (alice) = Alice
  • I (paul) = Paul
  • I (tom) = Tom
  • I (lisa) = Lisa
  • I (walter) = Walter

Predicates

Properties

Predicates with arity 1:

  • 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

Predicates with arity 2:

  • 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

Retrieved from "http:///wiki/index.php?title=ExerciseFOModels-d&oldid=4571"