A1) Function.  since Brother returns an constant, not a truth value)
B1) No.  This isn't a sentence in FOL since X is an unqualified variable
A2) True 
B2) False
A3) False
B3) False
A4) False (should deduce "false" from this, since we have B ^ ~B
B4) True