Adimen-SUMO: Reengineering an Ontology for First-Order Reasoning
Revising The Wordnet Domains Hierarchy: Semantics, Coverage And Balancing