OpenLLM-France/wikimedia huggingface dataset:
# Cláusula de Horn

En lógica proposicional, una fórmula lógica es una cláusula de Horn si es una cláusula (disyunción de literales) con, como máximo, un literal positivo. Se llaman así por el lógico Alfred Horn, el primero en señalar la importancia de estas cláusulas en 1951.
Esto es un ejemplo de una cláusula de Horn:
$\neg p\lor \neg q\vee \cdots \vee \neg t\vee u$
Una fórmula como esta también puede reescribirse de forma equivalente como una implicación:
$(p\wedge q\wedge \cdots \wedge t)\rightarrow u$
Una cláusula de Horn con exactamente un literal positivo es una cláusula "definite"; en álgebra universal las cláusulas "definites" resultan (aparecen) como cuasi-identidades. Una cláusula de Horn sin ningún literal positivo es a veces llamada cláusula objetivo (goal) o consulta (query), especialmente en programación lógica.
Una fórmula de Horn es una cadena textual (string) de cuantificadores existenciales o universales seguidos por una conjunción de cláusulas de Horn.

## Uso en PROLOG

La sintaxis de una cláusula de Horn en PROLOG tiene el siguiente aspecto:
que podría leerse así: "A es hija de B si A es mujer y B es padre de A".
En términos lógicos representa la siguiente implicación:
$(mujer(A)\land padre(B,A))\to hija(A,B)$
Por definición de implicación se obtiene la siguiente cláusula de Horn:
$\lnot mujer(A)\lor \lnot padre(B,A)\lor hija(A,B)$
Obsérvese que, en PROLOG, el símbolo :- separa la conclusión de las condiciones. En PROLOG, las variables se escriben comenzando por una letra mayúscula. Todas las condiciones deben cumplirse simultáneamente para que la conclusión sea válida; por tanto, la coma (en algunas versiones de PROLOG se sustituye la coma por el símbolo &) que separa las distintas condiciones es equivalente a la conjunción copulativa.
En cambio la disyunción normalmente no se representa mediante símbolos especiales (aunque puede hacerse con el símbolo ;), sino añadiendo reglas nuevas al programa. En este caso:
que podrían leerse así: "A es hija de B si A es mujer y B es padre de A o A es hija de B si A es mujer y B es madre de A".
# Cleland (North Lanarkshire)

Cleland es una localidad situada en el concejo de North Lanarkshire, en Escocia (Reino Unido), con una población estimada a mediados de 2016 de 3130 habitantes.
Se encuentra ubicada en el centro de Escocia, entre Glasgow, al oeste, y Edimburgo, al este.
# Coaña (parroquia)

Coaña (oficialmente y en asturiano: Cuaña) es una parroquia del concejo de Coaña, en la comarca de Eo-Navia, Principado de Asturias, España. La villa de Coaña es además la capital del concejo.
La parroquia tiene una superficie de 15,68 km² en los que residen 342 habitantes (2018) repartidos en 156 viviendas y limita al norte con la parroquia de Folgueras; al noreste con la de Navia en el concejo homónimo; al sur con dos de las tres parroquias en que está dividido Lebredo, la perteneciente a Coaña y la del vecino concejo de Boal; al este con Villacondide y Villanueva, esta última en Navia y por último al oeste con Arancedo, en el concejo de El Franco.
Su templo parroquial está dedicado a Santa María.

## Lugares

Según el nomenclátor de 2023, la parroquia comprende las siguientes entidades de población:
* Carbón
* Ceregedo (Cereixedo)
* Coaña (Cuaña)
* Las Cruces (As Cruces)
* Llosoiro
* Las Mestas (As Mestas)
* Nadóu
* San Esteban
* Sarrióu (Sarreo)
* Valentín
* El Villar
# Cocker Spaniel

Cocker spaniel puede referirse a las siguientes razas de perro:
* El cocker spaniel inglés, originario de Inglaterra.
* El cocker spaniel americano, que resultó de la adaptación del cocker spaniel inglés a Estados Unidos.
# Clemente Montag

Clemente Montag (Buenos Aires, 16 de enero de 1958) es un ilustrador, historietista y humorista gráfico argentino.

## Trayectoria

Admirador de la obra de Walt Disney, su carrera como ilustrador profesional comienza a los catorce años, cuando presenta su portfolio en la editorial de Dante Quinterno. Allí trabaja más de siete años como asistente personal de Quinterno, realizando las tareas de entintado, coloreado y creación de tapas para la revista Patoruzú. Es aquí donde conoció a Eduardo Ferro, autor de la historieta Langostino, quien considera como su principal mentor en la profesión. Paralelamente, publicó diversas secciones de humor para la revista Rico Tipo y Humor, en donde, por aquel entonces, firmaba como «Busu».
A fines de los años 1970, dejó el estudio Quinterno y decidió crear su primera historieta personal, titulada Coco y Cilindrina (sus personajes más conocidos), presentando el proyecto en la editorial García Ferré. Manuel García Ferré publicó la tira en la revista semanal Anteojito. Aquí, trabaja durante 22 años (hasta el cierre de la misma en el 2002), quien fue la receptora de varias de sus creaciones, como Floripi, Aletino, Nubecito, además de participar en infinidad de viñetas e ilustraciones desarrolladas para distintas secciones y cuentos infantiles pertenecientes a la revista escolar.
Participó en la creación de los guiones gráficos para la segunda temporada de Las aventuras de Hijitus, famosa serie animada de televisión. En 2002, en plena crisis argentina y con el cierre de la revista Anteojito, Montag decidió viajar a Europa en busca de actividad laboral. Trabajó como ilustrador particular para distintas editoriales en Irlanda durante siete meses. En este período ilustró una edición infantil de la Biblia creada por la editorial Planeta. Luego, regresó a su tierra natal para dedicarse de lleno a su profesión.
Trabaja como ilustrador freelance. Publica a menudo viñetas para la revista Pelotazo y Cripy. Es socio y colaborador de Banda Dibujada, movimiento cultural para la difusión de la historieta para niños y jóvenes, brindando numerosos talleres y conferencias sobre ilustración por todo el país.
En 2012, la editorial "Comik Debris" publica el libro de "Coco y Cilindrina", donde recopila algunas aventuras de sus personajes.
# Clemente Morán

Clemente Morán (La Serena ? ; Santiago, 1800) religioso, escritor y poeta, chileno. A fines de la colonia fue uno de los primeros personajes públicos en manifestarse a favor de los ideales de la revolución francesa, los cuales posteriormente gatillarían el proceso independentista de Chile.

## Biografía

El Dr. Clemente Morán tenía un personalidad bastante polémica y algo grosera, demostraba gran talento para la poesía y la prosa, la cual utilizaba generalmente para atacar a personajes que no lograban congeniar con su carácter satírico.
A fines del siglo XVIII, siendo párroco del Sagrario (Chile) en La Serena y funcionario de la corona española, fue uno de los primeros personajes públicos y contemporáneo a los "Tres Antonios" en mostrarse a favor de la independencia de Chile. Morán entre 1791 y 1795 atrevidamente colocó pasquines en las puertas de las iglesias de La Serena haciendo un llamado a seguir las ideas de la revolución francesa, lo que posteriormente le costaría un proceso en su contra llevado a cabo por el gobernador del reino Don Ambrosio O'Higgins, quien debió hacer suyas las medidas que estableció el subdelegado de La Serena en esa época. Clemente Morán fue trasladado a Santiago para seguirle un bullado pleito en que se le atribuyeron crímenes de "lesa majestad", la publicación de pasquines en la ciudad y escribir consignas sostenidas en ideas revolucionarias inspiradas en Francia. El asunto se llevó con delicado tino puesto que Morán era nada menos que el Sacristán Mayor de La Serena, un alto puesto en esa época. Finalmente resultó absuelto, pero fue obligado a permanecer en Santiago.
Uno de sus rivales, otro cura serenense llamado Fray Francisco de Borja Lopéz, le dedicó sendos versos que vaticinarían los últimos años del controvertido Clemente Morán.
   ten una vida arreglada
   sin meterte más en nada
Murió en Santiago en 1800, pobre de solemnidad, logrando por su doctorado canónigo, privilegio de ser sepultado en la catedral, donde aun luce su tumba.
# Clemente María Hofbauer

Clemente María Hofbauer (Tasovice, distrito de Znojmo, Moravia, 26 de diciembre de 1750 - Viena, 16 de marzo de 1820) fue un presbítero austríaco, de la Congregación del Santísimo Redentor, impulsor de la difusión de esta congregación religiosa en Austria y Polonia. Es venerado como santo por la Iglesia católica.

## Biografía

Nacido en Tasovice (entonces Tasswitz) en 1750, fue bautizado como Jan Dvořák. Fue el noveno de doce hijos de Maria Steer y Paul Hofbauer (realmente, Pavel Dvořák, que cambió su apellido moravo por el equivalente en alemán "Hofbauer"). De joven se hizo eremita y adoptó el nombre de Clemente María. Admirador de la espiritualidad y los escritos de San Alfonso María de Ligorio, ingresó en la Congregación del Santísimo Redentor.
Vivió en Varsovia durante veinte años, consiguiendo difundir la orden, en la que ingresan numerosos candidatos, mediante la fundación de nueve comunidades, especialmente en Polonia, y las misiones populares. Ejerció una profunda influencia en la vida religiosa de la época, como representante de la reacción religiosa romántica que se dio en el primer tercio del siglo XIX, como respuesta al anticlericalismo anterior. Contribuyó a que el josefinismo, movimiento político en el Imperio austríaco que quería someter la Iglesia al poder político, no se impusiera definitivamente.
En 1806, Napoleón Bonaparte lo expulsa y dispersa la congregación. Desde su residencia de Viena, continuará como guía espiritual, ya sea de religiosos como de intelectuales y artistas, ya que, como Varsovia, a Viena se supo rodear de los mejores artistas y músicos para la liturgia. Muere en marzo de 1820; un mes más tarde, a instancias del papa Pío VII, el emperador Francisco I de Austria firma el decreto autorizando de nuevo la actividad de los redentoristas.

## Veneración

Fue beatificado por León XIII el 29 de enero del 1888; el 20 de mayo de 1909 fue canonizado por Pío X, que en 1914 lo proclamó santo patrón de la ciudad de Viena.
# Coaxe

Coaxe es una aldea que pertenece a la Parroquia de Dimo, municipio de Catoira, en la provincia de Pontevedra, en España. En 2023 la población era de 162 habitantes.

## Situación geográfica

Se encuentra en un cul-de-sac rodeado de montes, con una variada presencia de ríos y vegetación. Su ubicación, a 3 kilómetros de Catoira y de la desembocadura del Río Ulla, facilita el acceso y conocimiento de la Ría de Arousa. En Catoira se encuentra el único puente que conecta la cara norte (Barbanza) y la cara sur (Salnés) de la ría.
# Club de Vela de Blanes

El Club de Vela de Blanes (CVB) es un club náutico español con sede en Blanes, Provincia de Gerona (Cataluña, España).

## Historia

Se fundó en 1943 con un lema claro: el deporte de la vela debía de ser su única razón de ser. Su actividad deportiva inicial se centró en la vela ligera, y en particular en la flota Snipe del club, la número 160 de la SCIRA, para irse ampliando posteriormente con las clases Optimist y Moth Europa. Por último se incorporó la vela de crucero al nacer el Trofeo Príncipe de Gerona. Su flota Snipe ha dado grandes regatistas como Juan Costas, Humberto Costas y Pablo Zendrera.
Sus instalaciones fueron remodeladas en 2015.

## Flotas

Cuenta con flotas de Snipe, Optimist, 420, 470 y Finn.
# Colaspis ekraspedona

Colaspis ekraspedona es un coleóptero de la familia Chrysomelidae.
Fue descrita científicamente en 1978 por Blake.
# Colaspidema dufouri

Colaspidema dufouri es un coleóptero de la familia Chrysomelidae.
Fue descrita científicamente en 1865 por Perez.
# Cohete sonda

Un cohete sonda es un pequeño cohete que lleva instrumentos para estudiar la atmósfera superior de la Tierra o para realizar observaciones astronómicas desde por encima de la atmósfera. Un cohete sonda al contrario de un vehículo de lanzamiento no entra en órbita, generalmente su vuelo realiza una trayectoria parabólica describiendo un vuelo suborbital.
Los cohetes son utilizados para transportar instrumentos desde 50 a 1500 kilómetros sobre la superficie de la tierra, generalmente la altitud entre los globos meteorológicos y los satélites. Algunos cohetes sonda, como el Black brant X y XII, tienen un apogeo entre 1000 y 1500 kilómetros, el máximo apogeo de su clase. A menudo los cohetes sonda utilizan motores de cohetes de excedentes militares.

## Diseño

Un cohete sonda común consiste en un motor de cohete de combustible sólido y una carga útil científica. La parte del vuelo en caída libre es una trayectoria elíptica con el eje mayor vertical, que permite a la carga útil parecer estar suspendido cerca de su apogeo. La media del tiempo de vuelo es menor a 30 minutos, generalmente entre cinco y veinte minutos. El cohete consume su combustible en la primera etapa de la parte ascendente del vuelo, y a continuación se separa y cae, dejando a la carga útil para completar el arco y volver al suelo con un paracaídas.
# Cleopatra (nombre)

Cleopatra es un nombre propio femenino de origen griego en su variante en español. Proviene del griego Κλεοπάτρα, compuesto de κλέος (gloria) y πατήρ (padre), gloria del padre.

## Santoral

19 de octubre: Cleopatra de Siria, mártir del siglo IV.

## Variantes en otros idiomas

Variantes en otras lenguas :
| Español | Cleopatra |
| Alemán | Kleopatra |
| Armenio | Կլեոպատրա (Kleopatra) |
| Búlgaro | Клеопатра (Kleopatra) |
| Catalán | Cleòpatra |
| Checo | Kleopatra |
| Danés | Kleopatra |
| Francés | Cléopâtre |
| Georgiano | კლეოპატრა (Kleopatra) |
| Griego | Κλεοπάτρα (Kleopátra) |
| Húngaro | Kleopátra |
| Inglés | Cleopatra |
| Irlandés | Cléópatra |
| Islandés | Kleópatra |
| Italiano | Cleopatra |
| Latín | Cleopatra |
| Neerlandés | Cleopatra |
| Noruego | Kleopatra |
| Polaco | Kleopatra |
| Portugués | Cleópatra |
| Rumano | Cleopatra |
| Ruso | Клеопатра (Kleopatra) |
| Samogitiano | Kleuopatra |
| Siciliano | Cliupatra |
| Sueco | Kleopatra |
# Coldfoot (Alaska)

Coldfoot es un lugar designado por el censo situado en el área censal de Yukón–Koyukuk en el estado estadounidense de Alaska. Según el censo de 2010 tenía una población de 10 habitantes.

## Demografía

Según el censo de 2010, Coldfoot tenía una población en la que el 90,0% eran blancos, 0,0% afroamericanos, 10,0% amerindios, 0,0% asiáticos, 0,0% isleños del Pacífico, el 0,0% de otras razas, y el 0,0% pertenecían a dos o más razas. Del total de la población el 0,0% eran hispanos o latinos de cualquier raza.

## Localidades adyacentes

El siguiente diagrama muestra a las localidades más próximas a Coldfoot.
# Clepsis abscisana

Clepsis abscisana es una especie de polilla del género Clepsis, categorizada en la tribu Archipini, de la subfamilia Tortricinae.

## Distribución

Se distribuye por Colombia.

## Taxonomía

Fue descrita por Zeller en 1877 y publicada en (Tortrix), Horae Soc. ent. Ross. 13: 90.
# Clytellus lobanovi

Clytellus lobanovi es una especie de escarabajo longicornio del género Clytellus, tribu Clytellini, orden Coleoptera. Fue descrita científicamente por Miroshnikov en 2014.

## Descripción

Mide 5,45 milímetros de longitud.

## Distribución

Se distribuye por Vietnam.
# Cole (Oklahoma)

Cole es un pueblo ubicado en el condado de McClain en el estado estadounidense de Oklahoma. En el año 2010 tenía una población de 555 habitantes y una densidad poblacional de 14,19 personas por km².

## Geografía

Cole se encuentra ubicado en las coordenadas 35°6′21″N 97°34′23″O﻿ / ﻿35.10583, -97.57306 (35.105921, -97.572964).

## Demografía

Según la Oficina del Censo en 2000 los ingresos medios por hogar en la localidad eran de $40,588 y los ingresos medios por familia eran $41,750. Los hombres tenían unos ingresos medios de $29,732 frente a los $18,542 para las mujeres. La renta per cápita para la localidad era de $14,474. Alrededor del 10.0% de la población estaban por debajo del umbral de pobreza.
# Colonammininae

Colonammininae es una subfamilia de foraminíferos bentónicos de la familia Saccamminidae, de la superfamilia Saccamminoidea, del suborden Saccamminina y del orden Astrorhizida. Su rango cronoestratigráfico abarca desde el Silúrico hasta la Actualidad.

## Discusión

Clasificaciones previas hubiesen incluido Colonammininae en la superfamilia Astrorhizoidea, así como en el suborden Textulariina del orden Textulariida.

## Clasificación

Colonammininae incluye a los siguientes géneros:
* Colonammina †
* Jascottella †
* Nubeculariella
Otro género considerado en Colonammininae es:
* Mamilla †, aceptado como Jascottella

## Bibliografía

* ↑ Kaminski, M.A. (2004). The Year 2000 Classification of the Agglutinated Foraminifera. En: Bubík, M. & Kaminski, M.A. (eds), Proceedings of the Sixth International Workshop on Agglutinated Foraminifera. Grzybowski Foundation Special Publication, 8: 237-255.
* ↑ Loeblich, A.R., Jr. y Tappan, H. (1992). Present Status of Foraminiferal Classification. Studies in Benthic Foraminifera en Benthos'90, Sendai (1990), Tokai University Press, 93-102.
* ↑ Sen Gupta, B.K. (1999). Systematics of modern Foraminifera. En: Sen Gupta, B.K. (Ed.), Modern Foraminifera. Kluwer Academic Publishers, 7–36.
* ↑ Loeblich, A.R., Jr. y Tappan, H. (1988). Foraminiferal genera and their classification. Van Nostrand Reinhold Company (ed.), 2 vol., 1-970, 1-212 + 847 láminas.
* Datos: Q16550373
* Especies: Colonammininae
# Color anormal de la orina

Normalmente, color de orina humana es amarillo pálido. El color de orina distinto al amarillo pálido a veces refleja una anormalidad, una condición patológica subyacente en los seres humanos.

## Señales y síntomas

Los síntomas de una problema en la orina son los siguientes:
* Color de orina inexplicada otro que amarillo pálido ha continuado para un tiempo largo.
* Presencia de sangre en orina.
* Orina marrón oscuro o muy transparente .
Los factores de riesgo clínico incluyen edad anciana, ejercicio agotador, e historia familiar de diagnosis relacionada.

## Causa

Infección, enfermedad, medicinas, o la comida puede, temporalmente, afectar el color de la orina. Para caso, de orina turbia o lechosa normalmente acompañada por el olor malo posiblemente indica infección de tramo urinario, micción excesiva de cristales, grasa, leucocitos , eritrocitos, o moco.
En caso de orina color rosa, rojo, o marrón claro es generalmente causado por la remolacha, moras, colorante , anemia hemolítica, insuficiencia renal, infección urinaria, medicación, porfiria, hemorragia intra-abdominal, metrorragia, neoplasia localizada en las vías de la vejiga o de los riñones.
Si la orina posee un color amarillo oscuro o similar a color naranja, la causa de esto podría ser el consumo reciente de vitamina B-conteniendo suplemento de nutriente, caroteno, fenazopiridina, rifampicina, warfarina y laxante.

## Diagnosis

El médico puede prescribir algunas pruebas para ayudar a obtener una imagen completa de la situación, como pruebas de sangre, pruebas de función hepática, ecografía para los riñones y vejiga, análisis de orina, cultivo de orina para detectar infección y cistoscopia.
El doctor también puede revisar el historial médico para obtener más información antes de hacer una diagnosis.
# Comitatus (desambiguación)

Comitatus, palabra en latín, puede referirse a:
* Comitatus, estructura de amistad germánica y unidad del ejército romano.
* Comitatus, unidad administrativa del Reino de Hungría.
# Coelorinchus matsubarai

Coelorinchus matsubarai es una especie de pez de la familia Macrouridae en el orden de los Gadiformes.

## Morfología

* Los machos pueden llegar alcanzar los 33 cm de longitud total.

## Hábitat

Es un pez de aguas profundas que vive entre 315-600 m de profundidad.

## Distribución geográfica

Se encuentra en el Mar de Filipinas.
# Comida instantánea

La comida instantánea es un tipo de preparación culinaria envasada al vacío, generalmente deshidratada, que viene lista para ser ingerida al mezclarse con algún otro producto, normalmente líquido, como agua.
Generalmente estás comidas vienen cargadas de sodio y pueden ser dañinas para la salud y no abastecen lo que son las necesidades alimenticias del cuerpo humano.

## Historia

Fue desarrollada por la Agencia Espacial Soviética, para ser utilizada en el primer vuelo espacial humano de la llamada era de la nutrición espacial y corresponde con el lanzamiento del Vostok 1 el 12 de abril de 1961. El cosmonauta soviético Yuri Gagarin hizo una órbita alrededor de la Tierra, pero fue su compatriota Gherman Titov el primero en ingerir alimentos en el espacio (agosto de 1961). Por otra parte John Glenn un año después en el tercer lanzamiento del proyecto Mercury cuando se convirtió en el primer americano que experimentó la sensación de ingravidez al ingerir alimentos: una salsa de manzana (compota). Los fisiólogos tenían ciertas dudas acerca de la posibilidad de tragar en un ambiente sin gravedad. Los sistemas de a bordo irían mejorando y la nutrición se tendría más en cuenta a medida que los vuelos se hacían cada vez más largos en el tiempo.
# Coenobius puncticollis

Coenobius puncticollis es un insecto coleóptero de la familia Chrysomelidae.
Fue descrita científicamente en 1997 por Lopatin.
# Coenobius ruficollis

Coenobius ruficollis es un insecto coleóptero de la familia Chrysomelidae.
Fue descrita científicamente en 2000 por Medvedev.
# Comisaría de Arauca

La comisaría de Arauca fue una antigua entidad territorial de Colombia que correspondía a la parte oriental (si bien luego le fue añadida la parte occidental) del hoy departamento de Arauca, ubicado al oriente de este país. Arauca fue segregada del departamento de Boyacá y elevada a esta categoría por medio del decreto 306 del 24 de marzo de 1911, debido a las numerosas revueltas protagonizadas por el pueblo araucano, principalmente la liderada por Luis Felipe Laverde el 5 de noviembre de 1910 y que obligó a dimitir al gobierno de la prefectura de Arauca. Sucedieron algunos levantamientos posteriores a la erección de la comisaría, como el levantamiento de Humberto Gómez, quien tomó la ciudad de Arauca el 31 de diciembre de 1916 y declaró la independencia del territorio con el nombre de República de Arauca.
La entidad comprendía el municipio de Santa Bárbara de Arauca como capital, y las localidades de Arauquita y Cravo Norte; más tarde mediante el decreto 1000 de 1923, Pedro Nel Ospina agregó a la comisaría los municipios de Tame y San Lope, adquiriendo su configuración territorial actual.
Durante La Violencia se vivieron levantamientos llaneros en 1948, hasta la entrega de Guadalupe Salcedo, líder revolucionario araucano, en 1953. Posteriormente con la explotación del petróleo llegan colonos y gentes de todas partes del país, que al consolidarse con la bonanza petrolera, aparecen grupos revolucionarios que perturban la región.