hotchpotch/wikipedia-multilingual-ir-related-lead-pairs huggingface dataset:
Monumentos de Plasencia
Plasencia é uma cidade da Espanha, na província de Cáceres, comunidade autónoma da Estremadura, que tinha 39 558 habitantes em 2021.

Situada na Via da Prata, a rota comercial milenar que cruza o centro da Península Ibérica desde a Antiguidade, na entrada do vale do Jerte, nos flancos sul das montanhas que formam a fronteira natural entre a Estremadura e Castela e Leão, o local é habitado desde a Pré-história e quando a cidade atual foi fundada, no século XII, tinha uma importância estratégica acrescida por ser uma zona de fronteira disputada entre cristãos e muçulmanos, e pelos reinos cristãos rivais de Castela, Leão e Portugal.

O património arquitetónico e histórico da cidade é vasto e encontra-se principalmente na parte antiga, em volta da Plaza Mayor.

Muralha
Uma muralha (ou valo), em arquitetura militar, é uma estrutura essencialmente defensiva numa fortificação.

Largamente empregada na Idade Antiga e Idade Média, era comumente erguida em alvenaria de pedra, embora dependendo da cultura, da época ou da região, pudesse ter sido erguida em outros materiais como a taipa, a madeira ou faxina (ramos de árvores e terra), isolados ou combinados.

Normalmente, a defesa proporcionada por uma muralha é reforçada por elementos adicionais como fossos, torres, parapeitos, ameias, seteiras e outros.
Math.h
math.h é um arquivo cabeçalho que fornece protótipos para funções, macros e definição de tipos da biblioteca padrão da linguagem de programação C para funções matemáticas básicas. São disponibilizadas, por exemplo, funções trigonométricas como o cosseno cos que opera com ângulos medidos em radianos, função para cálculo de raiz quadrada sqrtf desde que o resultado seja um número real, logaritmo com base 2 log2, entre outras.

C (linguagem de programação)
C é uma linguagem de programação compilada de propósito geral, estruturada, imperativa, procedural, padronizada pela Organização Internacional para Padronização (ISO), criada em 1972 por Dennis Ritchie na empresa AT&T Bell Labs para desenvolvimento do sistema operacional Unix (originalmente escrito em Assembly).

C é uma das linguagens de programação mais populares e existem poucas arquiteturas para as quais não existem compiladores para C. C tem influenciado muitas outras linguagens de programação (por exemplo, a linguagem Java), mais notavelmente C++, que originalmente começou como uma extensão para C.

A linguagem C encontra-se na versão/padrão internacional C17 (ISO/IEC 9899:2018) lançada em junho de 2018, substituindo a versão C11 (ISO/IEC 9899:2011), disponível em ISO e IEC e com suporte para GCC8 e Clang LLVM6.
Batalha de El Mazuco
Batalha de El Mazuco foi travada entre 6 e 22 de setembro de 1937, entre os exércitos Republicano e Nacionalista durante a Guerra Civil Espanhola, como parte da campanha da Guerra do Norte. A defesa republicana de El Mazuco e das montanhas circundantes interrompeu o avanço nacionalista para o leste das Astúrias, apesar de suas forças estarem em sete vezes mais. Após semanas de intensos combates em terrenos extremos, os defensores foram eventualmente oprimidos e os nacionalistas puderam se unir às suas forças avançando de León, levando à queda de Gijón e o abandono das Astúrias, a última província republicana no noroeste da Espanha.

Esta batalha foi quase certamente o primeiro uso do bombardeio em massa contra um alvo militar.

Astúrias
O Principado de Astúrias (em castelhano: Principado de Asturias; romaniz.: [pɾinθiˈpaðo ðe asˈtuɾjas]; em asturiano: Principáu d'Asturies; romaniz.: [pɾinθiˈpaw ðasˈtuɾjes];; em galego-asturiano: Principao d'Asturias) é uma comunidade autónoma definida como nação histórica e província de Espanha. O seu território atual corresponde em grande medida ao antigo território das Astúrias de Oviedo, contíguas às de Santillana.

Recebe o nome de principado por razões históricas, já que o herdeiro da coroa espanhola possui o título nobiliárquico de Príncipe das Astúrias, estabelecido por João I de Castela em 1388. A sua capital é Oviedo (em asturiano: Uviéu) enquanto que Gijón (Xixón) é a cidade com mais população.
Vale do Sousa
O Vale do Sousa é uma sub-região que agrupa os municípios do vale do rio Sousa (Felgueiras, Paredes, Penafiel e Lousada), e mais dois concelhos (Paços de Ferreira e Castelo de Paiva). Deu origem, em 1989, à Valsousa- Associação de Municípios do Vale do Sousa, com escassas funções administrativas e cujas competências se resumem, hoje, ao tratamento de resíduos.   Administrativamente, o Vale do Sousa encontra-se fundido com o Baixo Tâmega, dando origem à actual sub-região do Tâmega e Sousa que inclui todos os concelhos anteriores excepto Paredes, que aderiu à Área Metropolitana do Porto. Todos os concelhos, excepto o concelho de Castelo de Paiva, se localizam no distrito do Porto.

Castelo de Paiva
Castelo de Paiva é uma vila portuguesa que pertencendo ao Distrito de Aveiro se encontra integrada em termos estatísticos na sub-região (NUT III) de Tâmega e Sousa, que por sua vez pertence à região (NUT II) do Norte.

É sede do município de Castelo de Paiva que tem uma área total de 115,01 km², 15.597 habitantes em 2021 e uma densidade populacional de 135 habitantes por km², subdividido em 6 freguesias. O município é limitado a norte pelos municípios de Penafiel e Marco de Canaveses, a leste por Cinfães, a leste e a sul por Arouca e a oeste por Gondomar.
Qualificações para o Campeonato Europeu de Futebol de 2000
A Qualificação para o Campeonato Europeu de Futebol de 2000 é uma competição de futebol na qual se definirão 14 seleções que irão participar no Campeonato Europeu de Futebol de 2000, juntamente com a Bélgica e o Países Baixos, países sede.

Campeonato Europeu de Futebol de 2000
O Campeonato Europeu de Futebol de 2000, mais referido como Euro 2000, foi a 11ª edição do Campeonato Europeu de seleções masculinas de futebol organizado pela UEFA.

Teve como anfitriões a Bélgica e os Países Baixos, responsabilidade esta que foi, pela primeira vez, partilhada por duas nações, decorrendo de 10 de junho a 2 de julho. A França, recente campeã do mundo, conseguiu também vencer o seu segundo Campeonato Europeu da história ao vencer, na final, a Itália por 2–1.

A Iugoslávia havia voltado da suspensão da UEFA por causa da guerra, porém, dividida em outros países, entre eles a Eslovênia, que disputou sua primeira Euro. Esta foi a última vez que a Iugoslávia disputou a Eurocopa – três anos depois, daria lugar à Sérvia e Montenegro, mas que se desintegraria em 2006 e que nunca disputaria Eurocopas.
Joaquim Bernardo Mendes
Joaquim Bernardo Mendes (Penafiel, Guilhufe, 5 de Novembro de 1847 – Paredes, Castelões de Cepeda, 16 de Maio de 1911), 1.º Visconde de Paredes, foi administrador deste concelho, capitalista e grande benemérito local, tendo, juntamente com sua cunhada Maria Rosalina de Sousa Guimarães, mandado construir à sua custa, junto ao seu Palacete da Granja, a igreja de N.ª Sr.ª da Conceição, doada a 5 de Dezembro de 1908 à paróquia, para ser a nova matriz da vila. Viveu e faleceu no seu Palacete da Granja, hoje Casa da Cultura de Paredes, que mandou fazer na sua quinta do Souto.

Carlos I de Portugal
Carlos I (Lisboa, 28 de setembro de 1863 – Lisboa, 1 de fevereiro de 1908), apelidado "o Diplomata", foi Rei de Portugal e Algarves de 1889 até ao seu assassinato. Era o filho mais velho do rei Luís I de Portugal, e de sua esposa, a princesa Maria Pia de Saboia.

Nascido em Lisboa, foi cognominado "o Diplomata" (devido às múltiplas visitas que fez a Madrid, Paris e Londres, retribuídas com as visitas a Lisboa dos reis Afonso XIII de Espanha, Eduardo VII do Reino Unido, do imperador Guilherme II da Alemanha e do presidente da República Francesa Émile Loubet), "o Martirizado" e "o Mártir" (em virtude de ter morrido assassinado), ou "O Oceanógrafo" (pela sua paixão pela oceanografia, partilhada com o pai e com o príncipe do Mónaco).
Colonia Aurora
Colonia Aurora é uma cidade argentina da província de Misiones, localizado dentro do departamento 25 de Mayo. Tem fronteira com o município de 25 de Mayo do mesmo departamento, e com os de Dos de Mayo do Cainguás, San Vicente e El Soberbio do departamento Guaraní e com  o município  de Novo Machado, no estado Brasileiro do Rio Grande Do Sul.

O município conta com uma população de 8.407 habitantes segundo o Censo do ano 2001 (INDEC).

San Vicente (Misiones)
San Vicente é um município argentino da província de Misiones, situado dentro do departamento Guaraní. Se situa em uma latitude de 26° 37' sul e em uma longitude de 54° 08' oeste.

O município conta com uma população de 38.247 habitantes, segundo o censo do ano 2001 (INDEC).
Eleições na Ucrânia
As eleições na Ucrânia são realizadas para escolher o presidente (chefe de estado), Verkhovna Rada (órgão legislativo) e os governos locais. A Ucrânia tem um sistema multipartidário, com vários partidos existentes, eles devem trabalhar uns com os outros para formar um governos de coalizão .

Eleições parlamentares na Ucrânia em 2019
As eleições para o parlamento ucraniano foram realizadas em 21 de julho de 2019. Originalmente programadas para serem realizadas no final de outubro. O resultado da eleição foi um partido conseguir maioria, uma novidade na Ucrânia, para o partido Servo do Povo do presidente Zelensky, com 254 cadeiras.

Cerca de 80% dos candidatos eleitos eram novos no parlamento.Todos os deputados do Servo do Povo eram recém-chegados políticos. 61% dos novos parlamentares nunca antes haviam se envolvido na política.

De 225 círculos eleitorais, 26 foram suspensos devido à anexação da Crimeia pela Rússia em março de 2014 e à ocupação contínua de partes do oblast de Donetsk e do oblast de Luhansk por forças separatistas da autodeclarada República Popular de Donetsk e da República Popular de Luhansk.
Mohammad Ghazi al-Jalali
Mohammad Ghazi al-Jalali (Árabe: محمد غازي الجلالي; nascido em 22 de Março de 1969) é um engenheiro civil e político Sírio foi chefe do governo de gestão da Síria de 8 a 9 de Dezembro de 2024, após ser indicado como primeiro ministro em 14 de Setembro de 2024. Anteriormente ocupou o cargo de Ministro das Comunicações e Tecnologia da Síria no segundo governo de Wael Nader al-Halqi de 24 de Agosto de 2014 até 3 de Julho de 2016.

Wael Nader al-Halqi
Wael Nader al-Halqi (em árabe: وائل نادر الحلقي, Jasim, 1964) é um político sírio, Primeiro Ministro entre 2012 e 2016. Foi nomeado Primeiro Ministro da Síria em 11 de agosto de 2012, após Riyad Farid Hijab, o ex-primeiro-ministro, desertar e juntar-se aos rebeldes na guerra civil síria. Foi Ministro da Saúde em 2011.
Galáxia Anã de Fornax
A Galáxia Anã de Fornax é uma galáxia satélite da Via Láctea e faz parte do Grupo Local. Encontra-se na constelação austral de Fornax, a 460.000 anos-luz da Terra. Com um diâmetro de aproximadamente 6.000 anos-luz, sua magnitude visual é de 9,3. Foi descoberta em 1938 por Harlow Shapley.

Embora seja uma galáxia anã elíptica, seu tamanho é várias maior que outras galáxias anãs ao nosso redor (como por exemplo a Galáxia Anã de Carina ou a Galáxia Anã de Draco), e contém milhões de estrelas, embora as mais brilhantes alcancem magnitude visual 19. Suas estrelas têm idade entre 3 e 10 bilhões de anos, sendo quase todas elas de população II. Estima-se que 90% da galáxia é constituída de matéria escura.

A Galáxia Anã de Fornax possui seis aglomerados globulares orbitando-a, e o mais brilhante dentre eles, NGC 1049, foi descoberto antes que a própria galáxia.

Fornax
Fornax (For), a Fornalha (originalmente, Fornalha química[carece de fontes?]) é uma constelação do hemisfério celestial sul. O genitivo, usado para formar nomes de estrelas, é Fornacis. É uma das 14 constelações criadas pelo astrônomo francês Nicolas Louis de Lacaille no século XVIII. As constelações vizinhas são Eridanus, Cetus, Sculptor e Phoenix.
Robot Commando
Robot Commando (Brasil: Robô Comando / Portugal: Comando Robot é o vigéssimo-segundo livro-jogo da coleção Fighting Fantasy (que no Brasil e em Portugal recebeu o nome de Aventuras Fantásticas),   criada por Ian Livingstone e Steve Jackson, o livro foi escrito por outro Steve Jackson, o norte-americano, criador do sistema de RPG GURPS e fundador da Steve Jackson Games,  e ilustrado por Gary Mayes, o livro foi publicado originalmente em 1986 pela  Puffin Books. No Brasil, foi décimo-quarto livro da coleção publicado pela Marques Saraiva.

Jackson escreveu outros dois livros, Scorpion Swamp, Demons of the Deep, porém, em nenhum deles trazia a informação que se tratava de outro Steve Jackson.

Ian Livingstone
Ian Livingstone, CBE (Manchester, dezembro de 1949) é um escritor britânico de livros do gênero fantasia e um empresário do ramo de jogos.

Em 1975 fundou a empresa de jogos Games Workshop com Steve Jackson, e ambos criaram a série de livro-jogos Fighting Fantasy, que no Brasil e em Portugal, recebeu o nome de Aventuras Fantásticas.

Livingstone trabalhou em diversos projetos de jogos (como Tomb Raider Anniversary) e é membro do comitê de videogames da British Academy of Film and Television Arts e da diretoria da editora de jogos de computador e de jogos para consolas Eidos Interactive.
The Quest for the Rings
The Quest for the Rings é um jogo eletrônico de ação lançado em 1981 para Odyssey², foi o primeiro jogo do console elementos de jogos de tabuleiro, fornecendo mapas e fichas. O jogo é inspirado no RPG de mesa Dungeons and Dragons e na série literária O Senhor dos Anéis de J.R.R. Tolkien, tal como nos RPGs, há um Mestre de jogo, chamado de Ringmaster, que atua como vilão, enquanto que os demais jogadores podem escolher entre Feiticeiro, Guerreiro, Fantasma, ou Mutante (Changeling no original). No Brasil foi lançado em 1983 com o título "Em Busca dos Anéis Perdidos", o Ringmaster foi chamado de "Senhor dos Anéis".

Jogo eletrônico de ação
Um jogo eletrônico de ação é um tipo de jogo eletrônico que desafia a velocidade, reflexo e raciocínio rápido do jogador. Jogos de ação geralmente incluem conflitos estratégicos, desafios de exploração e necessidade de solucionar quebra-cabeças simples, mas estes não são elementos que definem tal gênero.

O gênero de jogo de ação é o mais amplo e inclusivo gênero no mundo dos videogames, contendo diversos sub-gêneros como jogos de luta, jogos de tiro em primeira pessoa, beat'em ups, jogos de plataforma e survival horror.
High Maintenance (EP)
High Maintenance é o extended play (EP) de estreia da rapper americana Saweetie. Foi lançado digitalmente em 16 de março de 2018, pela Warner Records e Artistry Worldwide. É composto por nove faixas, com "Icy Grl" lançado como lead single em 2 de outubro de 2017. O EP estreou no número 32 na parada de vendas de álbuns de R&B/Hip-Hop da Billboard.

Khia
Khia Shamone Finch, nascida Khia Shamone Chambers (Filadélfia, 8 de novembro de 1977) é uma rapper, compositora, produtora musical norte-americana. Ficou conhecida por seu primeiro single "My Neck, My Back (Lick It)" e o primeiro álbum Thug Misses (2002).
NGC 4675
NGC 4675 é uma galáxia espiral barrada (SBb) localizada na direcção da constelação de Ursa Major. Possui uma declinação de +54° 44' 14" e uma ascensão recta de 12 horas, 45 minutos e 31,7 segundos.

A galáxia NGC 4675 foi descoberta em 14 de Abril de 1789 por William Herschel.

Ursa Maior
A Ursa Maior  (UMa) é uma grande, famosa e a mais reconhecível constelação do hemisfério celestial norte. O genitivo em latim, usado para formar nomes de estrelas, é Ursae Majoris. É conhecida há mais de dois mil anos, sendo de conhecimento até dos antigos egípcios.

As constelações vizinhas, segundo a padronização atual, são o Dragão, a Girafa, o Lince, o Leão Menor, o Leão, a Cabeleira de Berenice, os Pegureiros e o Boeiro.
2MASS J11263991−5003550
2MASS J11263991−5003550 (2MASS J1126−5003) é uma anã marrom a cerca de 53 anos-luz de distância da Terra. A anã marrom é notável por uma cor azul incomum no infravermelho próximo. Esta anã marrom não mostra características subanãs e a cor azul não pode ser explicada por um binário não resolvido. Em vez disso, a cor azul é explicada por nuvens irregulares. O modelo de nuvem irregular permite nuvens espessas e uma cobertura de nuvens de 50% para explicar os espectros de 2MASS J1126−5003. Existem outras anãs L azuis, mas são bastante raras.

Subanã marrom
Uma subanã marrom é um objeto de massa planetária que não orbita uma estrela, mas não chega a ser considerado uma anã marrom devido ao fato de sua massa ser menor que 13 massas de Júpiter - critério que qualifica uma anã marrom.
Zauia de Dila
A Zauia de Dila foi uma confraria sufista de Marrocos que teve o seu apogeu militar e político no século XVII. À semelhança de outras zauias (um termo que tanto designa o santuário ou mausoléu de um santo islâmico como a irmandade por ele formada ou ligada ao seu culto), a zauia de Dila foi, na prática uma espécie de partido político com grande poder militar. Os seus seguidores são por vezes referidos como dilaítas.

A confraria surgiu e teve o seu centro entre as tribos berberes das montanhas do Médio Atlas.

Zauia
Zauia  (em árabe: زاوية; romaniz.: az-zâwiya) ou azoia, também transliterado como zawiya,  zawiyah,  zaouiya, zaouïa, zwaya, etc., é um edifício religioso muçulmano. Em turco, é chamado  zaviye.

Em Portugal, o termo subsiste na toponímia da Estremadura (Santa Iria de Azoia, Azoia), do Ribatejo (Azoia de Cima, Azoia de Baixo) e da Beira Litoral (Azoia).
Dalmácia romana
A Dalmácia foi uma província romana localizada na região da Dalmácia. O nome deriva provavelmente de uma tribo ilíria chamada dálmatas, que habitava a região oriental da costa do mar Adriático na Antiguidade Clássica. O território da província abrangia a maior parte dos modernos estados da Albânia, Croácia, Bósnia e Herzegovina, Montenegro e Sérvia, uma área significativamente maior que a moderna Dalmácia.

Split
Split (em italiano Spalato, em latim Spalatum e em grego Ασπάλαθος, romanizado: Aspálathos) é a maior e mais importante cidade da Dalmácia, bem como o centro administrativo do condado de Split-Dalmácia, na Croácia. Está situada numa pequena península na margem oriental do Mar Adriático, na base dos montes Kozjak e Mosor. Com uma população de 193.867 habitantes (2005), 95,15% dos quais de origem étnica croata (censo de 2001), é a segunda maior cidade da Croácia.
Union Films
Union Films foi uma companhia de produção cinematográfica localizada em Batávia, Índias Orientais Holandesas (atual Jacarta, Indonésia). Fundada pelos empresários chineses Ang Hock Liem e Tjoa Ma Tjoen em 1940, produziu sete filmes em preto e branco antes de terem sido destruídos em 1942; atualmente são considerados perdidos.

Foi fundada durante o reavivamento da indústria cinematográfica das Índias Orientais Holandesas e lançou Kedok Ketawa, seu primeiro filme, em julho de 1940. Após a ocupação japonesa da Indonésia, em março de 1942, a União foi fechada, embora seus filmes continuassem sendo exibidos até a metade da década de 1940.

Índias Orientais Neerlandesas
Índias Orientais Holandesas foram uma colónia fundada por holandeses da Companhia Holandesa das Índias Orientais (ou VOC) e que abrangia todo o território da atual Indonésia.

Durante o século XIX, a hegemonia e as possessões holandesas foram expandidas, alcançando sua maior extensão territorial no início do século XX. Esta colônia que mais tarde formou-se a Indonésia moderna foi uma das colônias mais valiosas do Império Colonial Holandês, e contribuiu para o destaque mundial dos Países Baixos na história e a colheita de dinheiro para o comércio do século XIX e XX. A ordem social colonial foi baseada em rígidas estruturas raciais e sociais com a vida independente da elite holandesa, mas ligado a seus súditos nativos. O termo "Indonésia" entrou em uso para a localização geográfica a partir de 1880. No início do século XX, intelectuais locais começaram a desenvolver o conceito da Indonésia como um Estado-nação, e definir o cenário para um movimento de independência.
Tabebuia
Tabebuia, conhecido popularmente como ipê, pau-d'arco, peúva, ipé, ipeúna, e paratudo, é o gênero neotropical mais comum da família Bignoniaceae. Atualmente, a maioria das espécies de ipês brasileiros está incluída no gênero Handroanthus, e não mais no gênero Tabebuia.

Caducifólia
Em botânica, caducifólia, caduca ou decídua é uma planta que, numa certa estação do ano, perde suas folhas, geralmente nos meses mais frios e sem chuva (outono e inverno), ou em que a água se encontra congelada ou de difícil acesso à terra.

É a forma que as plantas encontram para não perder água pelo processo de transpiração, pelas folhas. Às vezes ficam só os galhos e o caule. Desta forma elas armazenam a água sem perder praticamente nada pela evaporação.

Algumas plantas de pequeno porte, ficam com suas folhas aparentemente murchas quando os raios solares incidem sobre elas. É uma forma de não perder a umidade, também, pois assim elas fecham os estômatos - os "poros" das folhas. Plantas que apresentam o atributo contrário têm folhas persistentes (espécie perenefólia).

No Brasil, existe uma ampla faixa de Floresta estacional, podendo ser decídua (como a Mata de Cipó) e semidecíduas, que representam áreas de transição entre biomas.
Campeonato Chileno de Futebol de 1994
O Campeonato Chileno de Futebol de 1994 (oficialmente Campeonato Nacional de Fútbol Profesional de la Primera División de Chile) foi a 62ª edição do campeonato do futebol do Chile. Os 16 clubes jogam todos contra todos, sendo o primeiro colocado campeão. Os dois últimos colocados são rebaixados diretamente para a Campeonato Chileno de Futebol - Segunda Divisão. O campeão e o ganhador da ligilla entre o vice, 3º, 4º e 5º lugar se classificam para a Copa Libertadores da América de 1995.

Primera B (Chile)
A Primera B do Chile ou Primera División B do Chile é uma competição masculina equivalente à segunda divisão do futebol chileno. O certame é organizado pela Associação Nacional de Futebol Profissional (em espanhol: Asociación Nacional de Fútbol Profesional, ANFP), um dos ramos da Federação de Futebol do Chile (em espanhol: Federación de Fútbol de Chile, FFCh) e corresponde a uma das três divisões profissionais do Campeonato Chileno de Futebol.

Fundada em 1952 como Segunda División, a competição que só adotou seu atual nome (Primera B) em 1996, tem servido como via de acesso para as equipes que buscam uma vaga na Primera División, a elite do futebol chileno. Desde 2025, a liga é comercialmente conhecida como Liga de Ascenso Caixun (por conta do patrocínio da empresa fabricante de produtos eletrônicos), e conta com a participação de 16 times, garantindo duas vagas automáticas para a Primera División e rebaixando um clube para a Segunda División (terceira divisão) da temporada seguinte.
Fórmula atômica
Em Lógica matemática, uma Fórmula Atômica (ou simplesmente átomo) é uma fórmula sem uma estrutura proposicional mais profunda, isto é, uma fórmula que não contém Conectivos lógicos, ou equivalentemente uma fórmula que não contém subfórmulas. Portanto, átomos são as mais simples fórmulas bem formadas da lógica. Fórmulas compostas são formadas combinando as fórmulas atômicas utilizando conectivos lógicos.

A forma precisa das fórmulas atômicas depende da lógica em consideração; para a Lógica proposicional, por exemplo, as fórmulas atômicas são variáveis proposicionais. Para a Lógica de predicados, os átomos são símbolos de predicados com seus argumentos, sendo cada argumento um termo.  Em Teoria dos modelos, termos são simplesmente strings de símbolos com uma dada assinatura, que podem ou não ser satisfatível a respeito do modelo em questão.

Átomo básico
Considere uma cláusula (disjunção de literais) obtida de uma fórmula sentencial do cálculo de predicados de primeira ordem  na forma skolemizada:

então uma expressão atômica obtida a partir de  substituindo todas as variáveis por elementos do Universo de Herbrand  de  é chamada de átomo básico. O conjunto de todos os átomos que podem ser formados a partir de símbolos predicados de  e termos a partir de  é chamado de base de Herbrand.