gajah laut
Indonesian
Etymology
Compound of gajah (“elephant”) + laut (“sea”), calque of Dutch zeeolifant (“elephant seal”, literally “sea elephant”).
Noun
gajah laut (plural gajah-gajah laut)
- (zoology) elephant seal, member of the genus Mirounga
Further reading
- “gajah laut”, in Kamus Besar Bahasa Indonesia [Great Dictionary of the Indonesian Language] (in Indonesian), Jakarta: Agency for Language Development and Cultivation – Ministry of Education, Culture, Research, and Technology of the Republic of Indonesia, 2016