ExerciseFOLSemantics-1a

From Lexical Resource Semantics

Revision as of 14:33, 22 May 2013 by Manfred (talk | contribs) (Created page with "'''father-of-someone'''('''paul''','''lisa''') = ''true'' iff < I('''paul'''), I('''lisa''') > ∈ I('''father-of-someone''') iff < ''Paul'', ''Lisa''> I('''Paul''') = <''...")

(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)

Jump to navigation Jump to search

father-of-someone(paul,lisa) = true iff < I(paul), I(lisa) > ∈ I(father-of-someone) iff < Paul, Lisa>

I(Paul) = <Paul>,

I(lisa) = <Lisa>

and

<Paul,Lisa> is in the set of I(father-of-someone).

Retrieved from "http:///wiki/index.php?title=ExerciseFOLSemantics-1a&oldid=4655"