Interacting with FOL KBs