Applying the Closed World Assumption to SUMO-Based FOL Ontologies for Effective Commonsense Reasoning.