"x ist verwandt mit y" ist:

"x ist das Geschwister von y" ist:

"x ist der Vater von y" ist:

"x ist älter als y" ist:

"x hält sich zum Zeitpunkt t im selben Raum wie y auf" ist:

"x wählt y in den Nationalrat" ist:

Sei M={redselig, geizig, musikalisch, glücklich} eine Menge von Eigenschaften. Dann ist "x teilt mindestens eine Eigenschaft der Menge M mit y":

Sei M={redselig, geizig, musikalisch, nicht-geizig} eine Menge von Eigenschaften. Dann ist "x teilt mindestens eine Eigenschaft der Menge M mit y":