Una ontología "heavyweight" puede ser definida como: