Pergunta de entrevista da empresa Cycorp

How do you translate x bit of knowledge into first order predicate logic?