First Order Logic In Artificial Intelligence Examples