Using FOL The kinship domain: Brothers are siblings Vx,y Brother(x,y)Sibling(x,y) One's mother is one's female parent tm,c Mother(c=m台(Female(m)∧Parent(m,c) e“ibling”is cummotric Using FOL The kinship domain: • Brothers are siblings • x,y Brother(x,y)  Sibling(x,y) • One's mother is one's female parent • m,c Mother(c) = m  (Female(m)  Parent(m,c)) • “Sibling” is symmetric