Brazilian Portuguese needs a WordNet that is open access, downloadable and changeable, so that it can be improved by researchers, such as the community interested in automated deduction. This would be very valuable to ...