OpenLLM-France/wikimedia huggingface dataset:
# Semântica formal (lógica)

Na lógica, semântica formal ou lógica semântica, é o estudo da semântica ou interpretações (idealizações) de linguagens naturais e formais, geralmente tentando captar a noção pré-teórica de implicação (ou consequência lógica). (Apesar de ambos linguística e lógica reividicarem o fornecimento de teorias na linguagem natural, de acordo com Geach, a lógica normalmente ignora o "idiotismo do idioma", e vê as linguagens naturais como idiomas confusos de interesses não-lógicos.)
Uma linguagem formal pode ser definida longe de qualquer interpretação disso. Isso é feito por uma designação de um conjunto de símbolos (também chamados de alfabeto) e um conjunto de regras de formação (também denominadas de gramática formal) que determinam quais cadeias de caracteres de símbolos são fórmulas bem formadas. Quando as regras de transformação (também denominadas regras da inferência) são adicionadas, e certas sentenças são aceitas como axiomas (juntos são chamados um sistema dedutivo ou um aparato dedutivo) um sistema lógico é formado. Uma interpretação de uma linguagem formal é (grosseiramente falando) uma atribuição de significados à seus símbolos e condições-verdade (valores-verdade) às suas sentenças.
Os valores-verdade de várias sentenças das quais podemos encontrar em argumentos irão depender de seus significados, e, assim, lógicos conscientes não podem evitar completamente a necessidade de dar algum tratamento ao significado dessas sentenças. A semântica da lógica refere-se às abordagens que lógicos introduziram para compreender e determinar a parte do significado em que eles estão interessados; o lógico tradicionalmente não está interessado na sentença como proferida, mas na proposição, uma sentença idealizada adequadamente para manipulação lógica.$^[$
Até o advento da lógica moderna, o Organon, de Aristóteles , particularmente Da Interpretação, forneceu a base para a compreensão da importância da lógica. A introdução de quantificação, necessária para resolver o problema da generalidade múltipla, tornou impossível a análise do tipo sujeito-predicado que tomou conta da explicação de Aristóteles, embora haja um interesse renovado em Lógica Aristotélica, tentando encontrar cálculos no espírito da silogística de Aristóteles, porém com a generalidade da lógica moderna baseada em quantificadores.
As principais abordagens modernas para a semântica de linguagens formais são as seguintes:
# Esch (Bernkastel-Wittlich)

Esch :
| Brasão | Mapa |
| | EschMapa da Alemanha, posição de Esch acentuada |
| Administração ||
| País | Alemanha |
| Estado | Renânia-Palatinado |
| Distrito | Bernkastel-Wittlich |
| Prefeito | Peter Body |
| Estatística ||
| Coordenadas geográficas | 49° 53' 53" N 6° 53' 01" E |
| Área | 2.29 km² |
| Altitude | 150 m |
| População | 384 (31 dez 2010) |
| Densidade populacional | 168 hab./km² |
| Outras Informações ||
| Placa de veículo | WIL |
| Código postal | 54518 |
| Código telefônico | 06508 |
| Localização de Esch no distrito de Bernkastel-Wittlich ||
Esch é um município da Alemanha, localizado no distrito Bernkastel-Wittlich, no estado de Renânia-Palatinado.
# XiamenAir

Xiamen Air (anteriormente chamada de "Xiamen Airlines") (chinês simplificado: 厦门航空, pinyin: Xiàmén Hángkōng) é a primeira companhia aérea privada da República Popular da China. Fundada em 25 de julho de 1984 e com sede em Xiamen, província de Fujian, opera voos regulares de passageiros, saindo dos aeroportos de Hangzhou Xiaoxan, Fuzhou Changle e Xiamen Gaoqi. Sua composição societária é composta de 51% da China Southern Airlines, 34% Xiamen Construção e Development Group e 15% da Jizhong Energy Group.

## Frota

A frota da XiamenAir consiste nas seguintes aeronaves em junho de 2016:
Frota :
| Aeronave | Em Operação | Pedidos | Passageiros | Passageiros | Passageiros | Passageiros | Notas |
| Aeronave | Em Operação | Pedidos | F | J | Y | Total | Notas |
| Boeing 737-700 | 17 | — | 0 | 8 | 120 | 128 | 4 com winglets |
| Boeing 737-800 | 112 | 4 | 0 0 | 8 8 | 154 162 | 162 170 | Todos com winglets. Encomendas sujeitos à aprovação B5159 e B5302 com as cores da SkyTeam |
| Boeing 737 MAX 8 | — | 30 | TBA | TBA | TBA | TBA | Encomendas sujeitos à aprovação |
| Boeing 757-200 | 6 | — | 8 0 0 | 8 12 12 | 158 186 192 | 174 196 204 | Primeira classe "Luxury" nos B2862 e B2866 |
| Boeing 787-8 | 6 | 0 | 4 | 18 | 215 | 237 | |
| Comac ARJ21-700 | — | 6 | TBA | TBA | TBA | TBA | Intenção de encomenda |
| Total | 141 | 40 | | | | | |
# Ituglanis boticario

Ituglanis boticario é uma espécie de peixe da família Trichomycteridae. Endêmica do Brasil, onde pode ser encontrada em riachos subterrâneos na região cárstica de Mambaí pertencentes ao rio Vermelho, tributário do rio Paranã, no oeste do estado de Goiás. O epíteto específico homenageia a Fundação O Boticário de Proteção à Natureza.
# Nova vermelha luminosa

Uma nova luminosa vermelha é uma explosão estelar, teoricamente causada pela fusão de duas estrelas. Elas são caracterizadas por uma coloração vermelha distinta, e uma curva de luz que persiste com um brilho ressurgente no infravermelho. Novas luminosas vermelhas não devem ser confundidas com as novas padrão, explosões que ocorrem na superfície das estrelas anãs brancas.

## Descoberta

Um pequeno número de objetos exibindo as características de uma nova luminosa vermelha tem sido observado no decorrer dos últimos 30 anos. A estrela vermelha M31 RV na galáxia de Andrômeda, fulgurou em alto brilho em 1988 e pode ter sido uma nova luminosa vermelha. Em 1994, V4332 Sgr, uma estrela na galáxia da Via Láctea fulgurou de maneira similar e em 2002, V838 Mon repetiu esse fenômeno e foi estudada em detalhe.
A primeira nova luminosa vermelha confirmada foi o objeto M85 OT2006-1, na galáxia Messier 85. Ela foi observada em primeira mão pelo serviço de busca por supernovas do Observatório Lick, tendo sido então investigada por uma equipe de astrônomos da U.C. Berkeley e de Caltech. Essa equipe, liderada por Shrinivas Kulkarni confirmou sua distinção das explosões conhecidas, como as novas e os pulsos térmicos, e declarou as novas luminosas vermelhas uma nova classe de explosões estelares em um comunicado de imprensa em 23 de maio de 2007 no periódico Nature.

## Characterísticas

Uma nova luminosa vermelha possui as seguintes características observadas:
* A luminosidade da explosão se situa entre aquela de uma supernova (de brilho maior) e a de uma nova (de menor brilho).
* A luz visível perdura por semanas ou meses, e possui um vermelho distinto, se tornando mais vermelha e opaca com o passar do tempo. Na medida em que a luz visível diminui, a emissão de luz infravermelha aumenta e dura por um longo período, normalmente variando em brilho inúmeras vezes.
* Observações em infravermelho da M85 OT2006-1 têm mostrado que esse objeto é bastante frio para uma estrela (ligeiramente acima de 1000 K). Esta pode, ou não, ser uma característica compartilhada por outras novas luminosas vermelhas.

## Evolução

A equipe que investigou a M85 OT2006-1 acredita que ela se formou quando duas estrelas da sequência principal se fundiram.
No momento em que a megaexplosão ocorre, a nova luminosa vermelha aparenta se expandir rapidamente, atingindo de milhares a dezenas de milhares o raio do sol em poucos meses. Essa expansão provocaria o resfriamento do objeto, explicando a intrigante coexistência de uma explosão brilhante com um objeto frio após a explosão.

## Outros pontos de vista

Alguns astrônomos acreditam ser prematuro anunciar uma nova classe de explosões estelares baseando-se em um número de observações ainda muito limitado.
Por exemplo, Pastorello et al. 2007 expõe que o evento pode se dever a uma supernova do tipo II-p s e Todd et al. 2008 apontou para o fato de que supernovas passando por um alto nível de extinção serão naturalmente vermelhas e de baixa luminosidade, ao mesmo tempo.
# Akravidae

Akravidae é uma família de escorpiões, da ordem Arachnida.

## Gênero

* Akrav Levi, 2007
# Tavares (Flórida)

Coordenadas: 28° 48' 6" N 81° 44' 1" O
Tavares é uma cidade localizada no estado americano da Flórida, no condado de Lake, do qual é sede. Foi incorporada em 1925.

## Geografia

De acordo com o United States Census Bureau, a cidade tem uma área de 28,3 km², onde 24,6 km² estão cobertos por terra e 3,7 km² por água.

### Localidades na vizinhança

O diagrama seguinte representa as localidades num raio de 16 km ao redor de Tavares.

## Demografia

* Crescimento populacional
* CensoPop.%±
* 20009 700—201013 95143,8%Fonte: US Census
Segundo o censo nacional de 2010, a sua população é de 13 951 habitantes e sua densidade populacional é de 567 hab/km². Possui 7 598 residências, que resulta em uma densidade de 308,8 residências/km².

## Geminações

* Xindian, Nova Taipé, Taiwan
# Escharellidae

Escharellidae é uma família de briozoários pertencentes à ordem Cheilostomatida.
Géneros:
* Bulbipora MacGillivray, 1895
* Lapralioides Kluge, 1962
# Nova redação

NR significa "nova redação" quando está entre parênteses no final de sentenças em textos de leis.
Ives Gandra da Silva Martins Filho, em seu artigo "Consolidação e Redação das Leis – Lei Complementar no 95/98 e Decreto no2.954/99 – Aplicação à Lei no 9.756/98 sobre processamento de Recursos nos Tribunais", explicou a utilização do mecanismo da redação de leis:
   — Revista Jurídica Virtual
Dispõe o Decreto N.º 4.176, de 28 de março de 2002, que estabelece normas e diretrizes para a elaboração, a redação, a alteração, a consolidação e o encaminhamento ao Presidente da República de projetos de atos normativos de competência dos órgãos do Poder Executivo Federal:
   — Decreto Nº 4.176, de 28 de março de 2002
* ↑ Martins Filho, Ives (1999). Revista Jurídica Virtual. Consolidação e Redação das Leis – Lei Complementar no 95/98 e Decreto no2.954/99 – Aplicação à Lei no 9.756/98 sobre processamento de Recursos nos Tribunais. 1 1ª ed. Brasília: [s.n.] 19 páginas. Consultado em 30 de abril de 2017
* ↑ BRASIL (2002). «DECRETO Nº 4.176, DE 28 DE MARÇO DE 2002». Planalto. Consultado em 30 de abril de 2017
# Akram Ojjeh

Akram Ojjeh é um empresário saudita, dono de parte da TAG (Techniques d'Avant Garde).
# Armina neapolitana

Armina neapolitana é uma espécie de molusco pertencente à família Arminidae.
A autoridade científica da espécie é Delle Chiaje, tendo sido descrita no ano de 1824.
Trata-se de uma espécie presente no território português, incluindo a zona económica exclusiva.
# Takuji Hayata

Takuji Hayata (em japonês: 早田 卓次; Wakayama, 10 de outubro de 1940) é um ginasta japonês, vencedor de duas medalhas de ouro em Jogos Olímpicos.

## Carreira

Hayata competiu nos Jogos Olímpicos de 1964, em Tóquio, e conquistou duas medalhas para seu país. Com a equipe japonesa foi ouro, mesmo resultado obtido individualmente nas argolas.
No Campeonato Mundial de Ginástica Artística de 1970, foi campeão com a equipe japonesa, sua única medalha de ouro em mundiais.
Takuji Hayata entrou para o International Gymnastics Hall of Fame em 2004.
# Semécourt

Semécourt é uma comuna francesa na região administrativa de Grande Leste, no departamento de Mosela. Estende-se por uma área de 2,3 km². Em 2010 a comuna tinha 1 011 habitantes (densidade: 439,6 hab./km²).
# Eschach

Eschach :
| Brasão | Mapa |
| | EschachMapa da Alemanha, posição de Eschach acentuada |
| Administração ||
| País | Alemanha |
| Estado | Baden-Württemberg |
| Região administrativa | Estugarda |
| Distrito | Alpes Orientais |
| Prefeito | Reinhold Daiss |
| Estatística ||
| Coordenadas geográficas | 48° 53' 18" N 9° 53' 11" E |
| Área | 20,27 km² |
| Altitude | 498 m |
| População | 1.828 (31/12/2007) |
| Densidade populacional | 90 hab./km² |
| Outras Informações ||
| Placa de veículo | AA |
| Código postal | 73569 |
| Código telefônico | 07175 |
| Website | sítio oficial |
Eschach é um município da Alemanha, no distrito dos Alpes Orientais, na região administrativa de Estugarda, estado de Baden-Württemberg.
# JN

* Esta é uma página de desambiguação que lista os artigos que podem ser associados a um ou vários títulos. Se uma ligação interna o conduziu até aqui, sugerimos que a corrija para apontá-la diretamente ao artigo adequado.
Por JN é procurar por:
* Jornal Nacional; telejornal brasileiro exibido na Rede Globo.
* Jornal da Noite (Rede Bandeirantes); telejornal brasileiro exibido na Rede Bandeirantes.
* Jornal da Noite (SIC); telejornal português exibido na SIC.
* Jornal da Noite (Rede Globo); telejornal extinto brasileiro exibido na Rede Globo.
* Jornal de Notícias; jornal português da cidade do Porto.
# Artérias coronárias

As artérias coronárias são as artérias que constituem a circulação coronária. A sua função é transportar o sangue de e para o músculo cardíaco. As principais artérias são a artéria coronária esquerda e a artéria coronária direita, das quais partem várias ramificações.
# Tela de Amsler

A tela de Amsler, usada desde 1945, é uma grade de linhas horizontais e verticais usada para monitorar o campo de visão central de uma pessoa. A grade foi desenvolvida por Marc Amsler, um oftalmologista suíço. É uma ferramenta de diagnóstico que auxilia na detecção de distúrbios visuais causados por alterações na retina, especialmente a mácula (por exemplo, degeneração macular, membrana epiretinal), bem como do nervo óptico e do trato visual até o cérebro.
No teste, a pessoa fecha um dos olhos e fixa o pequeno ponto no centro da grade com o olho aberto. Depois repete o mesmo procedimento com o outro olho. Pacientes com doença macular podem ver linhas onduladas ou algumas linhas podem estar faltando.
A tela de Amsler pode ser fornecida por um oftalmologista ou um ortoptista e pode ser usada para testar a visão em casa.
A tela de Amsler original era em preto e branco. Uma versão nas cores azul e amarelo é mais sensível e pode ser usada para testar uma ampla variedade de anomalias do sistema visual, incluindo aquelas associadas com a retina, o nervo óptico e a glândula pituitária.
# Sermão da Planície

O Sermão da Planície se refere a um conjunto de ensinamentos de Jesus que aparecem juntos em Lucas 6:17–49.
Este sermão pode ser comparado ao maior e mais longo Sermão da Montanha, que aparece no Evangelho de Mateus.

## Narrativa bíblica

Em Lucas 6:12–20 estão detalhados os eventos que levam até o sermão. Segundo Lucas, Jesus passou a noite na montanha rezando para Deus. Dois dias depois, ele juntou seus discípulos e selecionou doze, aos quais ele deu o nome de apóstolos. Na descida da montanha, ele "parou num lugar plano", onde já se reunia uma multidão. Após algumas curas milagrosas, Jesus proferiu o que hoje chamamos de "Sermão da Planície".
As principais passagens são:
* As Bem-Aventuranças (6:20-26).
* A Ame os seus inimigos e Ofereça a outra face (6:27-36).
* Trate os outros como gostaria de ser tratado (6:31).
* Discurso sobre os julgamentos, não condene e não serás condenado, perdoe e será perdoado, dê e receberás (6:37-38).
* Pode o cego levar o cego?. Os discípulos não estão acima do seu mestre (6:39-40a).
* Retire a trave dos seus olhos antes de reclamar do cisco no olho do outro (6:40b-42).
* A boa árvore não produz maus frutos e a má árvore não produz bons frutos, se conhece a árvore por seus frutos (6:43-45)
* Por que me chamais, Senhor, Senhor, e não fazeis o que vos mando? (6:46)
* Parábola da Casa Edificada na Rocha (6:47-49)
Em Lucas 7:1, após Jesus ter dito tudo o que tinha pra dizer à multidão, ele se dirigiu a Cafarnaum, que, na cronologia de Lucas, ele não tinha visitado desde o exorcismo na sinagoga de Cafarnaum.
# Encyclopædia Universalis

Encyclopædia Universalis é uma enciclopédia de língua francesa publicada pela editora de mesmo nome desde 1960. A totalidade de suas edições conta com a contribuição de mais de 7000 autores diferentes, sendo atualmente a maior enciclopédia de língua francesa do mundo.
Em 1995 se tornou a primeira enciclopédia europeia a ser disponibilizada em formato digital, e desde 1999 passou a estar acessível também na internet. Atualmente a sua versão impressa é pouco produzida e de fato a maior parte de sua receita vem das versões digitais-online.
# Yamango (distrito)

Yamango é um distrito do Peru, departamento de Piura, localizada na província de Morropón.

## Transporte

O distrito de Yamango não é servido pelo sistema de estradas terrestres do Peru.
# JM Trevisan

José Mauro Trevisan, mais conhecido como JM Trevisan (24 de janeiro de 1976) é um escritor, roteirista, e editor brasileiro, conhecido por ser um dos criadores do universo de RPG de fantasia Tormenta, incluindo a série em quadrinhos Ledd, e como editor da revista de RPG Dragão Brasil.

## Carreira

JM Trevisan produzia ficção amadora desde os dez anos de idade. Aos quinze anos entrou em um curso de histórias em quadrinhos e, em 1994, uniu-se ao ilustrador Greg Tochinni para produzirem um fanzine chamado Zine Insano. Trevisan apresentou este material a Marcelo Cassaro, que na época já editava a revista Dragão Brasil, e o convidou a colaborar com a revista.
Seu primeiro conto publicado na Dragão Brasil foi O Paladino e a Ladra e a partir de então ele também passou a publicar materiais de RPG. Seu trabalho progrediu na revista até que ele assumisse o posto de Editor Assistente, junto de Rogério Saladino. Eventualmente, os três editores se reuniram para criar, em comemoração à edição nº 50 da revista, o mundo de Tormenta, reunindo diversos materiais publicados nos últimos anos. Por sua criação, estes autores passaram a ser conhecidos como o "Trio Tormenta".
Em 2005 deixou a Dragão Brasil, junto dos demais editores, devido a problemas internos que ocasionaram o fim da relação de trabalho entre eles e a editora Talismã. A partir de então trabalhou como tradutor da revista Rolling Stone e como autor da revista de RPG Dragon Slayer, que inicialmente foi publicada pela Editora Mantícora e, a partir de sua quarta edição, foi publicada pela Editora Escala.
Em 2009, a partir da edição 24, a revista Dragon Slayer passou a ser produzida pela Jambô Editora, com os autores Guilherme Dei Svaldi, Gustavo Brauner e Leonel Caldela assumindo o lugar do Trio. Estes novos autores passaram a ser conhecidos como "Trio Tormenta Ultimate".
Em 2010, Trevisan começa a publicar, em parceria com o desenhista Lobo Borges, a HQ em estilo mangá Ledd, que conta uma história passada em Arton, o mundo de Tormenta. A história foi inicialmente disponibilizada gratuitamente como uma webcomics na Internet. Em 2011 o primeiro encadernado foi publicado pela Jambô, que vêm publicando os demais volumes desde então. Atualmente a série está no quinto volume, que também conta com a arte de Heitor Amatsu e continua sendo publicada.
Em 2015, organizou a antologia de contos "Crônicas da Tormenta", onde também publica o conto O Cerco.
Em 2016, Trevisan publicou, junto do desenhista Ricardo Mango, o primeiro volume da HQ Khalifor, também ambientada no mundo de Tormenta. A história ainda não teve mais volumes, mas está nos planos do autor continuá-la. Ainda em 2016, ele também organizou a antologia de contos "Crônicas da Tormenta Volume 2", que traz mais histórias ambientadas em Arton.
Também em 2016, Trevisan encabeçou o retorno da revista Dragão Brasil, que passou a ser publicada pela Jambô Editora por meio de uma campanha de financiamento coletivo recorrente, assumindo o cargo de Editor-Executivo. A revista continua sendo publicada.
# Obernholz

Obernholz :
| Brasão | Mapa |
| | ObernholzMapa da Alemanha, posição de Obernholz acentuada |
| Administração ||
| País | Alemanha |
| Estado | Baixa Saxônia |
| Distrito | Gifhorn |
| Associação municipal | Hankensbüttel |
| Prefeito | Werner Rodewald |
| Partido no poder | Wählergemeinschaft |
| Estatística ||
| Coordenadas geográficas | 52° 45' N 10° 45' E |
| Área | 37,82 km² |
| Altitude | 84 m |
| População | 931 (31/12/2007) |
| Densidade populacional | 24,62 hab./km² |
| Outras Informações ||
| Placa de veículo | GF |
| Código postal | 29386 |
| Código telefônico | 05832 |
| Localização de Obernholz no distrito de Gifhorn ||
Obernholz é um município da Alemanha localizado no distrito de Gifhorn, estado da Baixa Saxônia.
Pertence ao Samtgemeinde de Hankensbüttel.
# Alchemilla raddeana

Alchemilla raddeana é uma espécie de rosácea do gênero Alchemilla, pertencente à família Rosaceae.
# Artéria zigomático-orbital

A artéria zigomático-orbital é uma artéria da cabeça.
# Tabite ibne Nácer

Tabite ibne Nácer ibne Maleque Alcuzai (Thabit ibn Nasr ibn Malik al-Khuza'i - lit Tabite, filho de Nácer, filho de Maleque dos Cuza; m. 813/814) foi um general do Califado Abássida e governador da zona fronteiriça ciliciana (Tugur Axamia) com o Império Bizantino em 808-813. Nativo do Coração e neto do importante general Maleque ibne Alhaitame Alcuzai, foi nomeado governador da Cilícia no último ano do reinado do califa Harune Arraxide (r. 786–809). Nesta posição, organizou uma troca de prisioneiros com os bizantinos e realizou vários raides ao império, sendo pesadamente derrotado durante um deles, em 912, nas mãos do futuro imperador Leão V, o Armênio (r. 813–820). Ele morreu ou foi assassinado em 913, com a vitória de Almamune (r. 813–833) na guerra civil em curso.

## Vida

Tabite era nativo do Coração, e neto de Maleque ibne Alhaitame Alcuzai, um antigo apoiante abássida e líder militar. Ele foi nomeado como governador do tugur sírio (essencialmente compreendo Cilícia, com Tarso como sua capital) no último ano do reinado do califa Harune Arraxide (r. 786–809). Ele organizou um troca de prisioneiros com os bizantinos em Podando em 808, mas também liderou uma série de incursões (sawa'if) contra eles. Em uma dessas, em agosto de 812, ele sofreu uma pesada derrota nas mãos do futuro imperador Leão V, o Armênio (r. 813–820), perdendo 2 000 homens.
De ca. 810, com a eclosão de uma guerra civil entre Alamim (r. 809–813) e seu irmão Almamune (r. 813–833), Tabite, como muitos outros governadores provinciais e magnatas, foi capaz de assumir controle virtualmente independente de sua província. Ele morreu ou foi morto logo após a vitória final de Ma'mun em 813, segundo alguns relatos envenenado por seu primo Nácer.
# Sermão de Nossa Senhora do Rosário

O Sermão de Nossa Senhora do Rosário faz parte de Maria Rosa Mística e aparece na sequência dos trinta Sermões que constituem a obra, no décimo quinto lugar. O assunto do Sermão, é o modo de rezar o Rosário.