Terms and text shown below represent Camilla’s contributions to TermWiki.com, a free terminology website and knowledge resource for the translation community.
A (logical) language is said to be decidable if and only if all of its theorems (or logical truths) can be shown to be true through a finite mechanical procedure. Propositional logic is decidable; predicate logic is not.
Uma linguagem (lógica) é dito ser decidível se e somente se todos os seus teoremas (ou verdades lógicas) podem ser demonstrados serem verdade por meio de um procedimento mecânico finito. A lógica proposicional é decidível; a lógica de predicados não ...
The method of gardening utilizing only materials derived from living things. (i.e. composts and manures)
Método de jardinagem utilizando apenas materiais derivados de fontes vivas. (isto é, compostos e adubos).
The yellow to deep red, cherry-like fruit of a Brazilian tree of the myrtle family. These fruit, which are now grown in the U.S., are slightly acid and are eaten out-of-hand and used in jams and jellies. Also called "Surinam cherry."
Do amarelo ao vermelho escuro, é uma fruta parecida à cereja de uma árvore brasileira da família da murta. Estas frutas, que agora são cultivadas nos EUA, são ligeiramente ácidas e são comidas puras e também utilizadas em compotas e geleias. Também chamada de ...
A tenth-century Islamic thinker, felt that there is a parallelism between philosophy and theology.
Pensador islâmico do século X, defendeu haver um paralelismo entre a Filosofia e a Teologia.
The word Pagoda came into English from Portuguese and may derive from the Persian butkada=temple for idols (a stupa). It is now used for a sacred Chinese or Indian building, or an imitation of such a building in a garden.
A palavra pagode vem do inglês para o português e pode ter origem no termo persa butkada=templo para ídolos (uma estupa). Hoje o termo é usado para se referir a um edifício sagrado chinês ou indiano, ou uma imitação de tal edifício em um jardim.
A collection of wild and exotic animals. The idea appeared in Western Asia in ancient times and was common until the nineteenth century. The Wilhelmina in Stuttgart is still managed as a combined botanical garden and zoo.
Uma coleção de animais selvagens e exóticos. A ideia surgiu na Ásia Ocidental, nos tempos antigos e era comum até o século XIX. O Wilhelmina em Stuttgart continua a ser gerido como um jardim botânico e zoológico combinado.
The purple-black fruit of the elder tree. Used to make jams, jellies, and the famous homemade elderberry wine--a spicy brew that can become as potent as its maker desires.
O fruto roxo-negro da sabugueira. Usado para fazer compotas, geleias, e o famoso vinho caseiro de sambucus - uma mistura picante que pode tornar-se tão potente quanto o fabricante quiser.
A sentence proposition, thought or judgment is contingent if it is true of this actual world, though it is not true in all possible worlds. Some philosophers claim that contingent, a posterori, and synthetic are equivalent, holding that the notion of ...
Uma sentença, proposição, pensamento ou julgamento é contingente se é verdade nesse mundo atual, mas pode não ser verdadeira em outros mundos possíveis. Alguns filósofos consideram que contingente, a posteriori, e sintético são equivalentes, sustentando que a ...
Reliance on fixed a priori transcendental meanings, that is, universal meanings, concepts and forms of logic that exist within human reason before any other kinds of thinking occur. This would include a universal conception of reason or beauty.
A confiança em significados a priori transcendentais fixos, ou seja, significados universais, conceitos e formas lógicas que existem na razão humana antes de quaisquer outros tipos de pensamento ocorrerem. Isso incluiria uma concepção universal de razão ou de ...
So named because they grow in grape-like clusters. These large citrus fruits are grown in Arizona, California, Florida, and Texas. They are available in both seeded and seedless varieties.
Assim chamado (em inglês, grapefruit) porque eles crescem em cachos parecidos com os das uvas. Estas grandes frutas cítricas são cultivadas no Arizona, Califórnia, Flórida e Texas. Elas estão disponíveis em ambas as variedades com ou sem sementes.