AnswerEX2-b1: Difference between revisions
Jump to navigation
Jump to search
No edit summary |
No edit summary |
||
Line 1: | Line 1: | ||
'''father-of-someone( | '''father-of-someone'''('''paul''','''lisa''') = ''true'', | ||
because | because |
Latest revision as of 12:29, 15 May 2013
father-of-someone(paul,lisa) = true,
because
I(Paul) = <Paul>,
I(lisa) = <Lisa>
and
<Paul,Lisa> is in the set of I(father-of-someone).