Where does “paramodulation” come from?
paramodulation (English) comes from English Pará, from Portuguese Pará, from Portuguese Pera, from Portuguese espera, from Portuguese esperar, from Old Portuguese asperar, from Old Spanish esperar, from Latin spērō — to succeed, to prosper.
paramodulation (English): A technique for reasoning on sets of clauses...
Definitions
- A technique for reasoning on sets of clauses...
Ancestry of “paramodulation”, step by step
paramodulation traces back through two separate lines of ancestry.
via English Pará
| Step | Language | Word | Meaning |
|---|---|---|---|
| 1 | English | Pará | A former subunit of currency in several countries in the Ottoman/Turkish and Yugoslav regions |
| 2 | Portuguese | Pará | a state in the North Region of Brazil |
| 3 | Portuguese | Pera | pear |
| 4 | Portuguese | espera | wait |
| 5 | Portuguese | esperar | to wait; to hope; to expect; to anticipate |
| 6 | Old Portuguese | asperar | — |
| 7 | Old Spanish | esperar | to wait for, await |
| 8 | Latin | spērō | to hope, expect |
| 9 | Latin | spes | hope; expectation, anticipation, apprehension |
| 10 | Proto-Italic | spēs | hope |
| 11 | Proto-Indo-European | spéh₁s | prosperity, success |
| 12 | Proto-Indo-European | speh₁- | to succeed, to prosper |
via English modulation
| Step | Language | Word | Meaning |
|---|---|---|---|
| 1 | English | modulation | The process of applying a signal to a carrier;... |
| 2 | Middle French | modulation | — |
| 3 | Latin | modulatio | a regular measure, rhythmical measure,... |
| 4 | Latin | modulatus | measured |
| 5 | Latin | modulor | I measure; I regulate; I beat time |
| 6 | Latin | modulus | a small measure or interval; a module; a water... |
| 7 | Latin | -ulus | Used to form a diminutive of a noun, indicating... |
| 8 | Proto-Italic | -olos | — |
| 9 | Proto-Italic | -elos | Forms desubstantival and deadjectival diminutive nouns |
| 10 | Proto-Indo-European | -e-lós | — |
| 11 | Proto-Indo-European | -lós | Forms agent nouns from verbal roots |