Knowledge-Representation and Scalable Abstract Reasoning for Sentient Computing using First-Order Logic