First Order Logic
Processamento de Linguagem Natural em textos da História Comptemporânea do Brasil: o projeto OpenWordnet-PT