OpenLLM-France/wikimedia huggingface dataset:
# English-Chinese/Since the latter half of the 20th century, prepared chicken has become a staple of fast food

Since the latter half of the 20th century, prepared chicken has become a staple of fast food.
自20世纪下半叶以来，准备好的鸡肉已成为快餐的主食。
# English-Chinese/Shrub

A shrub or bush is a category of plants. A tree usually has one stem, which at some height has branches. A shrub can have multiple stems from the bottom up. Usually, bushes do not grow as tall as trees, very often they are less than 10–12 m tall.
灌木 是 一类 植物。树 通常 有 一个 茎，在 某个 高度 有 枝。灌木 可以 从下到上 有 多个 茎。通常，灌木丛的 高度 不如 树木 高，通常 它们的 高度 不到 10-12米。
# English-Chinese/Signal processing

Signal processing is the analysis, interpretation and manipulation of signals. Signals of interest include sound, images, biological signals such as ECG, radar signals, and many others.
信号处理 是 信号的 分析，解释 和 操作。感兴趣的 信号 包括 声音，图像，生物信号 如 ECG，radar信号，以及 许多 其他 信号。
# English-Chinese/Sikhism is a religion that believes in one God

Sikhism is a religion that believes in one God. Its followers are called Sikhs.
锡克教 是 一种 信仰 一个 上帝 的 宗教。 其 追随者 被称为 锡克教徒。
# English-Chinese/They covered the window and there was no sunshine

They covered the window and there was no sunshine.
他们遮住了窗户，没有阳光。
# English-Chinese/This is extremely important considering that 1 in 3 people die from complications attributable to atherosclerosis

This is extremely important considering that 1 in 3 people die from complications attributable to atherosclerosis.
考虑到三分之一的人死于动脉粥样硬化引起的并发症，这一点非常重要。
# English-Chinese/They do not understand the answer

They do not understand the answer, so they ask again.
他们不明白答案，所以他们再问一遍。
# English-Chinese/They went through the arch into the church

They went through the arch into the church.
他们穿过拱门进入教堂。
# English-Chinese/They will be leaving on Tuesday

They will be leaving on Tuesday.
他们 将 在 星期二 离开。
# English-Chinese/Thigh

In human anatomy, the thigh is the area between the hip (pelvis) and the knee. Anatomically, it is part of the lower limb.
在 人体 解剖学中，大腿 是 臀部（骨盆）和 膝盖 之间的 区域。解剖学上，它是 下肢的 一部分。
# English-Chinese/They were sad about losing the match

They were sad about losing the match.
比赛 输了，他们 很伤心。
# English-Chinese/This is a problem

This is a problem.
这是个问题。
# English-Chinese/They entered the church through the arch

They entered the church through the arch.
他们通过拱门进入教堂。
# English-Chinese/Third World

The term "Third World" arose during the Cold War to define countries that remained non-aligned with either NATO or the Communist Bloc. The United States, Canada, Japan, South Korea, Western European nations, and their allies represented the First World, while the Soviet Union, China, Cuba, and their allies represented the Second World.
冷战期间 出现了 “第三世界” 一词，用以 界定 与 北约 或 共产党集团 不结盟的 国家。美国，Canada，日本，韩国，西欧国家，及其 盟国 代表 第一世界，而 苏联，中国，Cuba，及其 盟国 代表 第二世界。
# Ideas in Geometry/Set Theory

Rachel89 20:23, 4 December 2010 (UTC)
# Identity/Matrix to basis/Transformation matrix/Example

Let $V$ denote a vector space with bases ${\mathfrak {v}}$ and ${\mathfrak {w}}$. If we consider the identity
    $\operatorname {Id} \colon V\longrightarrow V$
with respect to the basis ${\mathfrak {v}}$ on the source and the basis ${\mathfrak {w}}$ on the target, we get, because of
    $\operatorname {Id} (v_{j})=v_{j}=\sum a_{ij}w_{i}\,,$
directly
    $M_{\mathfrak {w}}^{\mathfrak {v}}(\operatorname {Id} )=M_{\mathfrak {w}}^{\mathfrak {v}}\,.$
This means that the describing matrix of the identical linear mapping is the transformation matrix for the base change from ${\mathfrak {v}}$ to ${\mathfrak {w}}$.
# Ideologies and Environmental Management Simulation
## Instructions for participants

* You are allocated to one of the groups below:
** neoliberal economists (e.g. free market adherents)
** reformist environmentalists (e.g. ecological modernisation)
** radical environmentalists (deep ecologists).
* Your group will have a brief to examine either energy (esp. nuclear and wind power) or transport issues in the UK. You will be given in advance of the presentation a briefing sheet, which outlines some of the most important problems associated with energy or transport. You will also be expected to do some of your own research into these problems.
* YOUR AIM, as a group, is to prepare a fifteen minute presentation outlining recommendations for dealing with (mitigating and/or eventually solving) some of these problems – as many as you think it appropriate to cover in the time (depth is more desirable than breadth). Your recommendations need to be in line with the ideas and perspectives of your allotted group’s ideology. (You may not personally believe in what you are advocating, but you must imagine that you do!).
* You must also be prepared for five additional minutes of searching questions from the audience (which comprises the members of the other groups. Hence you need to be prepared with adequate explanations of your recommendations. The degree to which you satisfactorily deal with these questions will be taken into account in the assessment. (Therefore you may want to do some research into the other ideologies.)

## Preparation

Once the precise topic has been identified, each group will need a briefing sheet outlining the problem and the views of the group they will be role-playing. See Red Herrings for a similar model.
# Idioculture Lab
## Idioculture Lab

The Idioculture Lab is intended as a lab that organizes learning resources that allow learners to analyse and define their idioculture. In the context of idioculture the term karma may be interesting, but not in a strict sense of the word, more as a hypothetical reputation system, an assessment of idiocultural elements of a single person or a (small) group of persons or a code of conduct (or a set of expectations about conduct).
# Identity matrix/Definition

The $n\times n$-matrix
    $E_{n}:={\begin{pmatrix}1&0&\cdots &\cdots &0\\0&1&0&\cdots &0\\\vdots &\ddots &\ddots &\ddots &\vdots \\0&\cdots &0&1&0\\0&\cdots &\cdots &0&1\end{pmatrix}}\,$
is called identity matrix.
# Idiopathic pulmonary fibrosis

Idiopathic pulmonary fibrosis (IPF) is a refractory and lethal interstitial lung disease characterized by alveolar epithelial cells apoptosis, fibroblast proliferation, and ECM protein deposition. Pulmonary fibrosis is a chronic disease that causes swelling and scarring of the alveoli (air sacs) and interstitial tissues (tissue between cells) of the lungs. Bacteria and other micro-organisms are not routinely found in the lungs of patients with idiopathic pulmonary fibrosis. On the other hand, the condition does sometimes appear to follow a viral-like illness particularly Epstein-Barr virus infection. The 6A(4) allele of the SPA1 gene has been associated with an increased susceptibility to idiopathic pulmonary fibrosis in nonsmokers but not in smokers.
# Korean/Words/목

* ㄱ ㄲ ㄴ ㄷ ㄸ ㄹ ㅁ ㅂ ㅃ ㅅ ㅆ ㅇ ㅈ ㅉ ㅊ ㅋ ㅌ ㅍ ㅎ -ㄱ-ㄲ-ㄴ-ㄷ-ㄸ-ㄹ-ㅁ-ㅂ-ㅃ-ㅅ-ㅆ-ㅇ-ㅈ-ㅉ-ㅊ-ㅋ-ㅌ-ㅍ-ㅎ- 말+/말씀+/물+/불+ a2z/Basics/News/Notes/Table/Legend/Sandbox

## 목
### Noun

* 척추동물의 머리와 몸통을 잇는 잘록한 부분. 어떤 물건에서 동물의 목과 비슷한 부분.
    neck

### - Narrowing

* 손목 (son-, "wrist")
* 발목 (bal-, "ankle")
* 골목 (gol-, "alley")
* 길목 (gil-, "turning point")
* 병목 (beong-, "bottleneck")

### - Binding

* 묶다(mug-da, "to bind")

### Compounds

* 목구멍 (-gumeong, "throat," lit. "neck hole")
* 목젖 (-jeot, "uvula," lit. "neck teat")

### Comparatives

    From uvula #Translations
| Germanic | Nordic | Latinic | Others |
| huig #Dutch uvula #English Uvula #German | drøbel #Danish úlvur #Faroese úfur #Icelandic | uvula #French ugola #Italian uvula #Latin úvula #Portug. úvula #Spanish | 小舌 #Chinese 懸雍垂 #Chinese 懸壅垂 #Japanese 口蓋垂 #Japanese 목젖 #Korean |
* ↑ https://ko.dict.naver.com/#/search?query=목
* ↑ https://en.wiktionary.org/wiki/목
* ↑ The cognates have not included Old English nēah "near, close," comparative nēar, English near, next, knot, German nah, nach, Latin necto "I bind, unite, connect" etc.
* ↑ 따라서 장악하기 쉬운 곳. Thus something easy to catch. This is where forced bodily binding occurs most often.
* ↑ https://ko.dict.naver.com/#/search?query=길목 큰길에서 좁은 길로 들어가는 어귀.
* ↑ https://ko.dict.naver.com/#/search?query=목구멍 식도와 기도로 통하는 입안의 깊숙한 곳.
* ↑ https://ko.dict.naver.com/#/search?query=목젖 목구멍의 안쪽 뒤 끝에 위에서부터 아래로 내민 둥그스름한 살. appendage that hangs from the palate
* ↑ Etymology Borrowed from Late Latin ūvula (“little grape”), diminutive of Latin ūva (“grape”). Comments To be precise, uvula should mean "little bunch of grapes," regardless of its metaphoric adequacy. This anomaly may be called the grain-grape or unit-set confusion.
* ↑ Literally, "little tongue."
# Korean/Words/머구리

* ㄱ ㄲ ㄴ ㄷ ㄸ ㄹ ㅁ ㅂ ㅃ ㅅ ㅆ ㅇ ㅈ ㅉ ㅊ ㅋ ㅌ ㅍ ㅎ -ㄱ-ㄲ-ㄴ-ㄷ-ㄸ-ㄹ-ㅁ-ㅂ-ㅃ-ㅅ-ㅆ-ㅇ-ㅈ-ㅉ-ㅊ-ㅋ-ㅌ-ㅍ-ㅎ- 말+/말씀+/물+/불+ a2z/Basics/News/Notes/Table/Legend/Sandbox

## 머구리
### Noun

* ‘개구리1’의 방언(함경).
    (dialect) frog

### Synonyms

* 개구리 (gaeguri, "frog")

### Relativs

* 메구리 (meguri, "frog" (Jeonbuk dialect))
* 메구리1 (meguri, "frog" (Pyeongan & Hamgyeong dialect))
* 메구리2 (meguri, "frogman" (Hambuk dialect))

### Comparatives

* Japanese 潜り (moguri, “diving”)
* Mongolian мэлхий (melhij, "frog")
* ↑ https://ko.dict.naver.com/#/search?query=머구리
* ↑ https://en.wiktionary.org/wiki/머구리
* ↑ This has overridden the titled 머구리 (meoguri) entirely nowadays. Such was not the case, but rather the opposite, in old days.
* ↑ '개구리'의 방언(전북)
* ↑ '개구리1'의 방언(평안, 함경)
* ↑ '잠수부(潛水夫)'의 방언(함북)
# Korean/Words/메아리
## 메아리

RR: meari

### Noun

* 울려 퍼져 가던 소리가 산이나 절벽 같은 데에 부딪쳐 되울려오는 소리.
    mountain resounding, echo

### Synonyms

* 산울림 (san-ullim, lit., "mount (re)sounding, echoing")

### Derivatives

* 메아리치다 (meari-chida "to resound (되받아 소리치다), reverberate (되받아치다)")

### Associatives

* 뫼 (moe, "mount") > 뫼아리 > 메아리
* 산 (山, san, "mount") > 산울림
* 악쓰다 (ag-sseuda, "to cry, peal, roar, sound loud, shout, wail, yell")
* 가슴앓이
* 속앓이
* 옹알이, 옹아리(북한)
* 아리랑, 아라리

### Comparatives

| 메아리-치다wikt: echo #Translations Afrikaans: eggo Bulgarian: е́хо (ého) Catalan: eco Danish: ekko Dutch: echo English: echo French: écho Galician: eco Georgian: ექო (eko) German: Echo Greek: ηχώ (ichó) Icelandic: bergmál* Italian: eco Macedonian: ехо (eho) Norwegian: ekko Polish: echo Portuguese: eco Romanian: ecou Russian: э́хо (éxo) Slovene: eho Spanish: eco Swedish: eko | 악-쓰다 as a condition enough to make an echo wikt: ἠχέω #Ancient Greek (ēkhéō) to sound, ring, peal("to utter or sound loudly) (with accusative) to let it sound wikt: ἠχή #Ancient Greek (ēkhḗ) sound, noise wikt: swōgan #Old English to make a sound; move with noise; rush; roar wikt: sough #English to make a soft rustling or murmuring sound wikt: vāgiō #Latin I wail (in distress) wikt: væla #Old Norse, #Icelandic to cry, to wail wikt: weilen, waylen #Middle English to cry, wail wikt: wail #English to cry out, as in sorrow or anguish |
* ↑ From wikt: ἦχος #Ancient Greek (êkhos, "sound"). See: w: Echo (mythology), who is a mountain nymph w: Oread
* ↑ wikt: verbero #Latin "I beat" 치다!
# Korean/Words/멧돼지
## 멧돼지

    RR: met-dwaeji
* (literally, "mountain pig"), wild pig, wild boar

### Hypernyms

* 돼지 (dwaeji, "pig, swine")

### Related terms

* 메 (me) from 뫼 (moe, "mount; mound, tumulus")

### Compares

| Germanic | Baltic | CJK |
| wild zwijn #Dutch wild pig #English Wildschwein #German | metssiga #Estonian villisika #Finnish mežacūka #Latvian | 野豬, 山豬 #Chinese 野猪, 猪 #Japanese 野豬, 山豬 #Korean |

### See also

* meadow #English
* mow #English

### References

* ↑ Naver: 멧돼지 멧돼짓과의 포유류. 몸의 길이는 1~2미터, 어깨높이는 55~110cm이며, 몸빛은 검은색 또는 검은 갈색이다. 목에서 등에 걸쳐 빳빳한 털이 나 있다. 주둥이가 매우 길고 목은 짧으며 날카로운 엄니가 있다. 잡식성이고 유라시아 대륙 중부ㆍ남부의 산림에 분포한다. ≒산돼지1ㆍ산저(山豬)ㆍ야저. (Sus scrofa)(野豬) Wikt: 멧돼지 wild boar (Sus scrofa)
* ↑ Perhaps more commonly, wild boar #English
* ↑ Etymology From mets ("forest") +‎ siga ("pig").
* ↑ Synonyms Assumed metsä ("forest") +‎ siga ("pig").
* ↑ Literally, "wild pig," and "mountain pig," respectively.
# Korean/Words/모도다

* ㄱ ㄲ ㄴ ㄷ ㄸ ㄹ ㅁ ㅂ ㅃ ㅅ ㅆ ㅇ ㅈ ㅉ ㅊ ㅋ ㅌ ㅍ ㅎ -ㄱ-ㄲ-ㄴ-ㄷ-ㄸ-ㄹ-ㅁ-ㅂ-ㅃ-ㅅ-ㅆ-ㅇ-ㅈ-ㅉ-ㅊ-ㅋ-ㅌ-ㅍ-ㅎ- 말+/말씀+/물+/불+ a2z/Basics/News/Notes/Table/Legend/Sandbox

## 모도다
### Verb

* ‘모으다’의 옛말. ("한데 합치다")
    (vt.) to gather, collect

### Synonyms

* 모으다 (mo-eu-da)

### Relatives

* 모이다 (moi-da, (vi.) "to gather, meet")
* 모두 (modu, "all")
* 못 (mot, "moat, pond")
* 뫼 (moe, "mount, mound, motte")
* ↑ https://ko.dict.naver.com/#/search?query=모도다
* ↑ https://en.wiktionary.org/wiki/모으다
# Korean/Words/맛
## 맛

RR: mas > mat
* 음식 따위를 혀에 댈 때에 느끼는 감각.
    taste

### Compounds

* 맛 + 나다 (mat-nada, "to taste (good, bad, sweet, bitter)")
* 맛 + 있다 (mat-itda, "to enjoy the taste of something")

### Relatives

* 먹다 (meokda, "to eat")
    Cf. schmecken #German "to taste"
*   * To taste (good, bad, sweet, bitter, etc.)
*   * To enjoy the taste of something
# Korean/Words/매다

* ㄱ ㄲ ㄴ ㄷ ㄸ ㄹ ㅁ ㅂ ㅃ ㅅ ㅆ ㅇ ㅈ ㅉ ㅊ ㅋ ㅌ ㅍ ㅎ -ㄱ-ㄲ-ㄴ-ㄷ-ㄸ-ㄹ-ㅁ-ㅂ-ㅃ-ㅅ-ㅆ-ㅇ-ㅈ-ㅉ-ㅊ-ㅋ-ㅌ-ㅍ-ㅎ- 말+/말씀+/물+/불+ a2z/Basics/News/Notes/Table/Legend/Sandbox

## 매다
### Verb

* 논밭에 난 잡풀을 뽑다.
    to weed (unwanted grasses out of a cultivated area)

### Relatives

* 호미 {homi, "hoe") cf. w: Homi
* 김 (gim, "weed, unwanted grass")
* 잡풀 (jabpul, "weed, unwanted grass")
* 잡초 (jabcho, "weed, unwanted grass")

### Comparatives

* mow @ Webster's New Collegiate Dictionary
    to cut down with a scythe or sickle or machine;
    to cut the standing herbage (as grass) of.
* mow @ Collins Concise Dictionary
    to cut down (grass, crops, etc.), with a hand equipment or machine;
    to cut down the growing vegetation of (a field, lawn, etc.).
* See also
** meadow #Etymology
mow #Translations :
| Germanic maaien #Dutch mow #English māwan #Old English mähen #German | Norse meje #Danish meja #Swedish |
* hoe #Translations
* Danish: hakke
* Dutch: hak
* English: hoe
* French: houe
* German: Hacke
* Norwegian: hakke
* Swedish: hacka
* ↑ Like the hoe, this can be used for digging rows, but primarily designed for weeding, hence one-handed. Another hand is to handle grass! Such is the case with the sickle, which is handled by one hand while the long grass by another. What a division of labor!
* ↑ https://ko.dict.naver.com/#/search?query=매다
* ↑ https://en.wiktionary.org/wiki/매다
* ↑ In Contrast, to mow is to "cut down" outgrown grass, hence the idiom mow down.
* ↑ This is much more than a mere weeding tool.
* ↑ To cut down grass
* ↑ cf. Harke "rake"
# Korean/Words/못

* ㄱ ㄲ ㄴ ㄷ ㄸ ㄹ ㅁ ㅂ ㅃ ㅅ ㅆ ㅇ ㅈ ㅉ ㅊ ㅋ ㅌ ㅍ ㅎ -ㄱ-ㄲ-ㄴ-ㄷ-ㄸ-ㄹ-ㅁ-ㅂ-ㅃ-ㅅ-ㅆ-ㅇ-ㅈ-ㅉ-ㅊ-ㅋ-ㅌ-ㅍ-ㅎ- 말+/말씀+/물+/불+ a2z/Basics/News/Notes/Table/Legend/Sandbox

## 못
### Noun

* 넓고 오목하게 팬 땅에 물이 괴어 있는 곳.
    pond, pool; moat

### Homonyms

* 못 (mot, "nail")

### Synonyms

* 해자 (haeja, "moat"), cf. English The Hague, French Copenhague

### Compounds

* 연못 (yeon-, "pond")
* 성밑못 (seongmit-, "moat," lit. "moat below the defensive wall")

### Comparatives

* moat
* English: moat
* Irish: móta
* Korean: 못 (mot)
* fosse: ditch or moat
| fossa #Latin | 1. (in general) A ditch, trench, moat, fosse. 2. A boundary |
| fosse #English | 1. A ditch or moat |
| fossé #English | 1. (obsolete, chiefly Scotland) A fosse or ditch. [17th–19th c.] |
| fossé #French | 1. ditch; trench; moat |
| fosso #Italian | 1. ditch, 2. moat |
* ↑ https://ko.dict.naver.com/#/search?query=못
* ↑ https://en.wiktionary.org/wiki/못
* ↑ 1. A deep, wide defensive ditch, normally filled with water, surrounding a fortified habitation.
* ↑ cf. 해자 (haeja, "moat") 능(陵), 원(園), 묘(墓) 따위의 경계. 성 주위에 둘러 판 못.
# Korean/Words/물

* ㄱ ㄲ ㄴ ㄷ ㄸ ㄹ ㅁ ㅂ ㅃ ㅅ ㅆ ㅇ ㅈ ㅉ ㅊ ㅋ ㅌ ㅍ ㅎ -ㄱ-ㄲ-ㄴ-ㄷ-ㄸ-ㄹ-ㅁ-ㅂ-ㅃ-ㅅ-ㅆ-ㅇ-ㅈ-ㅉ-ㅊ-ㅋ-ㅌ-ㅍ-ㅎ- 말+/말씀+/물+/불+ a2z/Basics/News/Notes/Table/Legend/Sandbox

## 물
### Noun

* 자연계에 강, 호수, 바다, 지하수 따위의 형태로 널리 분포하는 액체. 순수한 것은 빛깔, 냄새, 맛이 없고 투명하다. 산소와 수소의 화학적 결합물로, 어는점 이하에서는 얼음이 되고 끓는점 이상에서는 수증기가 된다. 공기와 더불어 생물이 살아가는 데 없어서는 안 될 중요한 물질이다.
    water
* 못, 내, 호수, 강, 바다 따위를 두루 이르는 말.
    a body of water, eg., pond, lake, brook, river, sea, etc.

### Synonyms

* 바다 (bada, "sea, mere")
* 호수 (hosu, "lake, mere")
* 못 (mot, "moat, pond")
* 시내 (sinae, "brook")
* 내 (nae, "river")
* 강 (gang, "river")

### Antonyms

* 불 (bul, "fire" cf. Dutch vuur)
* 불바다 (bul-bada, lit. "fire sea" cf. Dutch vuurzee)

### Compounds

* 물바다 (-bada, "flood" lit. "water sea" or "sea of water")
* 바닷물 (badat-, "sea water")
* 호수물 (hosu-, "lake water")
* 시냇물 (sinaet-, "brook water")
* 강물 (gang-, "river water")
* 눈물 (nun-, "tears")
* 콧물 (kot-, "snot, snuff, snival, drivel, nose dripping, nose runnings")
* 큰물 (keun-, "flood")
* 한물 (han-, "flood")

### Relatives

* 묽다 (mulgda, "to be watery")
* 무르다 (mureuda, "to be soft, tender, flabby")
* 마르다 (mareuda, "to dry")
* 미르 (mireu, "dragon")
* 미리내 (miri-nae, "Milky Way" lit. "dragon river")

### Maxims

* 관해난수 (觀海難水, gwanhaenansu)
    To see the sea makes it hard to talk about water.
    The more I see the sea, the harder I say water.

### Comparatives

sea #Translations :
| Germanic & Latinic | Slavic & Others |
| Germanic Danish: sø Dutch: meer, zee English: mere, sea Scots: se German: Meer, See Faroese: sjógvur Icelandic: sjór Norwegian: sjø Swedish: sjö Latinic Aragonese: mar Asturian: mar Catalan: mar Corsican: mari French: mer Friulian: mâr Galician: mar Italian: mare Latin: mare Occitan: mar Portuguese: mar Romanian: mare Sardinian: mare Sicilian: mari Spanish: mar Venetian: mar | Slavic Aromanian: mari Belarusian: мо́ра (móra) Bulgarian: море́ (moré) Czech: moře Macedonian: море (more) Polish: morze Russian: мо́ре (móre) Rusyn: мо́ре (móre) Serbo-Croatian: море (more) Slovak: more Slovene: morje Sorbian: mórjo Udmurt: море (more) Ukrainian: мо́ре (móre) Others Breton: mor Cornish: mor Dalmatian: mur Estonian: meri Finnish: meri Irish: muir Karelian: meri Livonian: mer Manx: mooir Sami: mearra Scottish Gaelic: muir Veps: meri Welsh: môr |
* ↑ Etymology (Etymonline) Old English sæ "sheet of water, sea, lake, pool," from Proto-Germanic *saiwa- (...), of unknown origin ... (Wiktionary) probably ... from Proto-Indo-European *sh₂ey-wo- (“to be fierce, afflict”) (compare Latin saevus (“wild, fierce”) ... cf. Korean 세다 (se-da, "to be strong, powerful") (This project) English sea and the like may not mean "sheet of water" (Etymonline) but "seat of water," hence cognate with See of Holy See, both derived from Latin sedes (“seat”) related to Latin verb sedere (“to sit”).
* ↑ This largest division of the world ocean covers about 46% of Earth's water surface and about 32% of its total surface area, making it 3% larger than all of Earth's land area combined.
* ↑ https://ko.dict.naver.com/#/search?query=물
* ↑ https://en.wiktionary.org/wiki/물
* ↑ 표준국어사전 여리고 단단하지 않다. 물기가 많아서 단단하지 않다.
* ↑ European cognates for "sea" is spread so wide.
# Korean/Words/메뚜기
## 메뚜기

    RR: mettugi
* (literally, "meadow hopper") grasshopper, locust

### Related terms

* 메 (me) from 뫼 (moe, "mount; mound, tumulus")

### Compares

| Germanic | Norse |
| grashupper #Dutch grasshopper #English Grashüpfer #German | græshoppe #Danish gresshoppe #Norway gräshoppa #Swedish |

### See also

* meadow #English
* mow #English

### References

* ↑ Naver: 메뚜기2 메뚜깃과의 곤충을 통틀어 이르는 말. 겹눈과 세 개의 홑눈이 있고 뒷다리가 발달하여 잘 뛴다. 불완전 변태를 하며 알로 겨울을 난다. Wikt: 메뚜기 (literally, "meadow hopper") short-horned grasshopper, locust
# Foundations of Science
## Introduction

The purpose of this project is to develop learning resources for science with the principle aim of proceeding from the known to the unknown by means of, as much as is possible, rational explanation. This worthy goal has been expressed many times through history, yet science educators, as a whole, have not found it expedient to follow this maxim. Indeed, a common complaint amongst science teachers is that there are too many topics that need to be covered and not enough time in which to do it. As a result, most of science is learnt as a body of facts and ideas that must be memorized with occasional forays into experiments or investigations meant to validate a particular idea and reveal the methods of science. These are often unconvincing.
It has frequently been remarked that science education should focus less on the factual content and more on the methods of science. It is, after all, the habits of thought, i.e., the curiosity, questioning and rational justification based on observational evidence, that are the hallmarks of science and which students must possess when they have completed their general education. That is not to say that it is not important what facts and knowledge are covered in a general science education. Despite frequent attempts to constrict our views of the purpose and purview of science, it cannot be denied that the fundamental motivation behind science is to understand the universe and our place in it. And while science does not comment directly on the purpose of our lives and how we should live, it provides a fundamentally important basis that provides perspective and context for these considerations. Topics to be covered in a complete science education must reveal how science has altered these perspectives throughout history and consequently impacted philosophical and ethical considerations of how we live our lives.
The history of science, while certainly not the focus of this exposition, will be immensely helpful as a guide to developing material, not just in dealing with these big perspectives, but also for individual scientific concepts and ideas. Many of the questions and difficulties encountered by scientists during the historical development of a concept can be perceived in students today learning it for the first time.
Let’s begin then with the most ancient and the grandest of all the sciences, astronomy. We shall restrict ourselves at first to the solar system and branch our from there to the basic physics of forces and motion. After that, we will have to cover a lot of ground before we can once again look up to the heavens in an effort to understand the nature of the stars.
First Steps – Astronomy
# Foundations of Functional Programming/UTT-Σ

UTT$_Σ$ is a fairly elaborate explicitly typed λ-calculus. It can be viewed as an extension of the calculus of constructions (λPω) of the λ-cube, which is the fullest-featured system of the λ-cube, featuring dependent types, polymorphic types, and type constructors. UTT$_Σ$ was introduced by Ulf Norell in his PhD thesis (Norell 2007), and it is the basic type theory underlying the Agda programming language.
UTT$_Σ$ differs from the calculus of constructions in three primary ways.
* Rather than including just two sorts ${\text{Type}}_{0}$ and ${\text{Type}}_{1}$, it includes an infinite hierarchy of sorts, ${\text{Type}}_{0},{\text{Type}}_{1},{\text{Type}}_{2},...$.
* Its sorts are cumulative, meaning that when $n\leq m$, any type belonging to ${\text{Type}}_{n}$ also belongs to ${\text{Type}}_{m}$. This fact means that types are not unique up to β-conversion, and necessitates the introduction of a subtyping relation.
* It includes a wider variety of types than the calculus of constructions. It includes dependent pair types and a unit type in addition to sorts and dependent function types. The additional types are interesting primarily because of their interpretation under the Curry-Howard correspondence.
# Informal learning activities/Mng

Mntngr
This inserts a link to the country or area, in this case Montenegro, into a Places & Buildings item.
# Informal learning activities/Mlt

Mlt
This inserts a link to the country or area, in this case Malta, into a Places & Buildings or Buildings and Places item.
# Informal learning activities/Mcd

Mcdn
This inserts a link to the country or area, in this case Macedonia, into a Places & Buildings or Buildings and Places item.
# Informal learning activities/Mg

Mdgscr
This inserts a link to the country or area, in this case Madagascar, into a Places & Buildings item.
# Informal learning activities/Mlw

Mlw
This inserts a link to the country or area, in this case Malawi, into a Places & Buildings or Buildings and Places item.
# Informal learning activities/Mn

Moon
This inserts a link to the country or area, in this case the Moon, into a Places & Buildings item.
# Informal learning activities/MWy

MlkyWy
This inserts a link to the country or area, in this case the Milky Way, into a Places & Buildings or Buildings and Places item.
# Informal learning activities/Mdt

MdtrnS
This inserts a link to the country or area, in this case the Mediterranean Sea, into a Places & Buildings item.
# Informal learning activities/Ml

Mlys
This inserts a link to the country or area, in this case Malaysia, into a Places & Buildings item.