| Using FOL |
|
|
|
|
|
|
|
|
|
|
| The kinship
domain: |
|||||||||
| n | Brothers are
siblings |
||||||||
| x,y Brother(x,y) Sibling(x,y) |
|||||||||
| n | One's mother is
one's female parent |
||||||||
| m,c Mother(c) = m (Female(m) |
|||||||||
| Parent(m,c)) |
|||||||||
| n | “Sibling” is
symmetric |
||||||||
| x,y Sibling(x,y) Sibling(y,x) |
|||||||||
