Terms and text shown below represent beatrizmb’s contributions to TermWiki.com, a free terminology website and knowledge resource for the translation community.
A system that is absolutely inconsistent iff all its wffs are theorems.
Un sistema que es absolutamente inconsistente si todas sus fórmulas bien formadas (wff) son teoremas.
Itza' (also Itza, Petén Itzá Maya) is one of the Yucatecan branch of the Mayan languages. The other languages in the Yucatecan branch are Yucatec, Lakantun, and Mopan. Today, it is spoken only by a few elderly adults in communities to the north of Lake Petén ...
El idioma itzá (también conocido como Itza o Petén Itzá Maya) forma parte de la rama yucateca de las lenguas mayenses. Otras lenguas que forman parte de esta rama son el maya yucateco, lacandón y mopán. Hoy en día, solo hablan este idioma unas cuantas ...
Cayuvava (Cayubaba, Cayuwaba, Kayuvava) is an extinct language of Bolivia, the descendants of the ethnic group of the same name live in the region of Beni, west of Mamore River, north of Santa Ana del Yacuma with a population of 794 inhabitants.
El cayuvava (Cayubaba, Cayuwaba o Kayuvava) es una lengua extinta de la amazonía boliviana. Los descendientes del grupo étnico del mismo nombre viven en la región del Beni, al oeste el río Mamoré, al norte de Santa Ana del Yacuma, con una población de 794 ...
Pilagá is a language spoken by 6,000 people in the Bermejo and Pilcomayo River valleys, western Formosa Province. Even though Pilagá use in daily communication between adults connotes solidarity, younger speakers use code-switching apparently to fill gaps in ...
El pilagá es un idioma hablado por 6000 hablantes en los valles de los ríos Bermejo y Pilcomayo, en la provincia occidental de Formosa (Argentina). A pesar de que el uso del pilagá en comunicaciones cotidianas entre adultos denota solidaridad, los hablantes ...
Cavineña is an indigenous language spoken on the Amazonian plains of northern Bolivia by over 1,000 Cavineño people. Although Cavineña is still spoken (and still learnt by some children), it is an endangered language. Guillaume (2004) states that about 1200 ...
El idioma cavineña es una lengua indígena hablada en las llanuras de la amazonia del norte de Bolivia por más de 1000 personas del grupo étnico Cavineña. Aunque este idioma todavía se habla (y algunos niños lo estudian), es una lengua en peligro de extinción. ...
The generalization of algebraic methods originally concerned with number systems to deal with arbitrary algebraic structures over arbitrary domains.
La generalización de los métodos algebraicos relacionada originalmente con sistemas numéricos para lidiar con estructuras algebraicas arbitrarias en lugar de dominios arbitrarios.
Potawatomi (also spelled Pottawatomie; in Potawatomi Bodéwadmimwen or Bodéwadmi Zheshmowen or Neshnabémwen) is a Central Algonquian language and is spoken around the Great Lakes in Michigan and Wisconsin, as well as in Kansas in the United States, and in ...
El idioma Potawatomi (también deletreado Pottawatomie; en Potawatomi conocido como Bodéwadmimwen, Bodéwadmi Zheshmowen o Neshnabémwen) es una lengua algonquina central que se habla alrededor de los Grandes Lagos en Michigan y Wisconsin, así como en Kansas ...
The process of forming a general concept by omitting every distinguishing feature from the notions of some collection of particular things; thus, substantively, an abstraction is the concept or idea that results from this process. Introduced by Peter Abelard ...
Es el proceso de formar un concepto general omitiendo todas las características distintivas de las nociones de un conjunto de cosas en concreto. Por lo tanto, una abstracción es el concepto o idea que resulta de este proceso. Introducido por Peter Abelard ...
Pumpkin carving is the process to sculpt a pumpkin into various patterns. It is a long held tradition in the celebration of Halloween.
El tallado de calabazas es el proceso por el que las calabazas se esculpen con distintas formas. Es una tradición con una larga historia en la celebración de Halloween.
Djeoromitxi or Jabutí is an nearly extinct Yabutian language that as of 1990 was spoken by only five people in Rondônia, Brazil, at the headwaters of the Rio Branco. The language of the Djeoromitxí and their neighbours the Arikapú are closely related, and ...
El djeoromitxi o jabutí es una lengua yabutí prácticamente extinta que en 1990 contaba solo con 5 hablantes en el nacimiento del río Blanco, Rondonia (Brasil). El idioma de los Djeoromitxí y el de sus vecinos, los Arikapú, están estrechamente relacionados y ...