입니다 / 입니까: The Formal Copula

입니다 is the copula 이다 dressed in its most formal clothes — the "is / am / are" of news broadcasts, airport announcements, business presentations, and the moment you introduce yourself to someone for the first time. If 이에요 / 예요 is the copula you use with the barista, 입니다 is the copula you use on stage. It belongs to the 합니다체 (formal-polite speech level), and it comes with one enormous mercy for the learner and one small pronunciation trap. The mercy: unlike 이에요/예요, it does not change shape for the noun in front of it. The trap: it is spelled with ㅂ but spoken with ㅁ.

One shape for every noun

Here is the good news, and it is genuinely good. The everyday copula forces you to choose between 이에요 and 예요 depending on whether the noun ends in a consonant or a vowel. 입니다 abolishes that choice. It attaches identically to a consonant-final noun and a vowel-final noun:

네, 학생입니다.

ne, haksaeng-imnida

Yes, I'm a student. (formal)

저분은 의사입니다.

jeobuneun uisa-imnida

That person (over there) is a doctor. (formal)

학생 ends in a consonant, 의사 ends in a vowel — and both simply take 입니다. There is no 학생예요-style hunt for the right allomorph, no fusion, no contraction. Whatever the noun, you write 입니다 and move on. This is one of the few places where the formal register is easier to operate than the casual one.

저는 김민수입니다.

jeoneun Kim Minsu-imnida

I'm Kim Minsu. (formal introduction)

제 이름은 이수진입니다.

je ireumeun Isujin-imnida

My name is Lee Sujin.

Compare 김민수입니다 (name ends in the vowel ㅜ) with 이수진입니다 (name ends in the consonant ㄴ): same 입니다 on both. Where 이에요/예요 would split them, 입니다 treats them alike.

Why it never changes: the 이 stays put

The reason 입니다 is invariant is worth understanding, because it re-uses a frame that runs through the entire language. 입니다 breaks down as the copula stem plus the formal ending -ㅂ니다:

이 (copula) + ㅂ니다 (formal declarative) → 입니다

The ㅂ of the ending simply becomes the batchim of 이, giving 입. Crucially, the 이 is always there — it is the stem, and a stem does not vanish. In the casual copula 예요, the 이 fuses into the ending after a vowel (친구 + 이에요 → 친구예요). But there is no vowel-fusion rule for 이 + ㅂ니다, so the 이 survives on every noun: 친구입니다, 의사입니다, 학생입니다. That is exactly why the form looks the same everywhere.

💡
이에요/예요 makes you pick a shape; 입니다 does not. Model it as 이 (the copula) + ㅂ니다 (the formal ending) — the 이 never fuses away, so you write 입니다 after any noun, batchim or no batchim. One form, zero decisions.

The same frame runs through every predicate

That -ㅂ니다 / -습니다 ending is not special to the copula. It is the formal-polite ending for all Korean predicates, and it picks its shape from the stem's final sound: a vowel stem takes -ㅂ니다, a consonant stem takes -습니다. Recognizing this shared frame is what lets you convert any 해요체 sentence into 합니다체 on the fly.

PredicateStem해요체합니다체
가다 (go)가 (vowel)가요갑니다
먹다 (eat)먹 (consonant)먹어요먹습니다
이다 (be)이 (vowel)이에요입니다

The copula 이 is just a vowel stem, so it slots into the -ㅂ니다 column alongside 가다. Once you see that 입니다 is the copula obeying the same rule as every other verb, it stops being a word to memorize and becomes a form you can build. For the wider picture of this speech level, see 합니다체, the formal-polite register and the formal present -ㅂ니다/-습니다.

The question form: 입니까?

To ask a yes/no question in 합니다체, the ending changes from -ㅂ니다 to -ㅂ니까. The copula's question form is therefore 입니까? Notice that Korean marks the formal question with an actual ending change — this is the one speech level where a question is not signaled by intonation alone (as it is in 해요체), but by a distinct morpheme.

실례지만, 학생입니까?

sillyejiman, haksaeng-imnikka

Excuse me, but are you a student? (formal)

이곳이 도서관입니까?

igosi doseogwan-imnikka

Is this (place) the library? (formal)

Like the statement form, 입니까 attaches identically to any noun — 학생입니까, 도서관입니까, 의사입니까 — with no batchim-driven change.

Where you actually hear it

합니다체 is not "polite Korean" in general — it is a register, and using it in the wrong place sounds as odd as reading a menu order like a press release. You meet 입니다 in scripted, public, or ceremonious speech: broadcasts, announcements, presentations, the military, customer service, and formal first introductions.

다음 역은 시청입니다.

daeum yeogeun sicheong-imnida

The next station is City Hall. (subway announcement)

여기는 서울입니다.

yeogineun Seourimnida

This is Seoul. (broadcast dateline)

이 가방은 삼만 원입니다.

i gabang-eun samman won-imnida

This bag is 30,000 won. (shop/customer service)

And the set greeting every learner should own — the first-meeting formula, which lives entirely in 합니다체:

처음 뵙겠습니다.

cheoeum boepgetseumnida

How do you do. / Pleased to meet you. (lit. 'I'm meeting you for the first time,' formal)

Because these situations are formal from start to finish, the register has to be consistent: a self-introduction that opens with 입니다 should not slip into 이에요 two sentences later. Mixing them mid-speech is the single most common register error, and it reads as sloppy rather than friendly.

The pronunciation trap: it's 임니다, not 입니다

Now the trap. 입니다 is written with ㅂ but pronounced [임니다]. The ㅂ batchim sits directly in front of the ㄴ of 니, and in Korean a stop before a nasal assimilates to a nasal of its own place: ㅂ → ㅁ before ㄴ/ㅁ. So the spelling 입 is realized as [임], and the whole word comes out [임니다].

This is why its Revised Romanization is imnida, never ×ipnida. English speakers, seeing the letter ㅂ = b/p, want to say and spell "ip-ni-da," but no Korean ever pronounces it that way — the nasalization is automatic and obligatory. The same change hits every -ㅂ니다 form: 갑니다 [감니다] gamnida, 없습니다 [업씀니다], and the question 입니까 [임니까] imnikka.

💡
ㅂ before ㄴ becomes ㅁ. So 입니다 is spoken [임니다] and romanized imnida. Spell it with ㅂ (the ending is -ㅂ니다), but never pronounce or Romanize the p — the nasal ㅁ is the only sound that comes out.

Common Mistakes

1. Pronouncing or romanizing it "ipnida." The ㅂ nasalizes to ㅁ before ㄴ — the spoken form is [임니다].

❌ 입니다

Wrong reading 'ipnida' — the ㅂ becomes ㅁ before ㄴ.

✅ 입니다

imnida

is / am / are (pronounced [임니다])

2. Making 입니다 change shape for the noun. Unlike 이에요/예요, it never fuses or drops the 이 after a vowel.

❌ 저는 가수ㅂ니다.

Wrong — the copula 이 does not fuse away; it's 가수입니다.

✅ 저는 가수입니다.

jeoneun gasu-imnida

I'm a singer. (formal)

3. Mixing 입니다 and 이에요 inside one formal setting. A 합니다체 introduction or speech should stay in 합니다체.

❌ 안녕하십니까. 저는 이수진이에요.

Register clash — after the formal 안녕하십니까, use 이수진입니다.

✅ 안녕하십니까. 저는 이수진입니다.

annyeonghasimnikka. jeoneun Isujin-imnida

Hello. I'm Lee Sujin. (consistently formal)

4. Writing a space before the copula. Like all forms of 이다, 입니다 glues onto the noun.

❌ 이곳이 도서관 입니까?

Wrong spacing — the copula attaches directly: 도서관입니까.

✅ 이곳이 도서관입니까?

igosi doseogwan-imnikka

Is this the library?

Key Takeaways

  • 입니다 is the copula 이다 in the formal-polite 합니다체 — the register of announcements, presentations, and first introductions.
  • It attaches identically to every noun, consonant- or vowel-final (학생입니다, 의사입니다), because it is 이 + ㅂ니다 and the stem 이 never fuses away.
  • The question form is 입니까? — 합니다체 marks questions with an ending, not just intonation.
  • It is pronounced and romanized imnida (the ㅂ nasalizes to ㅁ before ㄴ), never ×ipnida.
  • The -ㅂ니다/-습니다 frame is shared by all predicates, so any 해요체 sentence converts to 합니다체 by swapping the ending: 이에요 → 입니다.

Now practice Korean

Reading grammar gets you part of the way. The exercises are where it sticks — free, no signup needed.

Start learning Korean

Related Topics

  • 이에요 / 예요: Polite Present (with Casual 이야/야)TOPIK 1The everyday polite copula picks its shape from the noun's final sound — 이에요 after a consonant, 예요 after a vowel — and the number-one spelling trap is writing 에요 for 예요; the casual 반말 pair 이야/야 tracks it exactly.
  • The Copula 이다: 'to be' for NounsTOPIK 1이다 is the copula that bolts a noun onto the sentence as its predicate, meaning 'is [something]' — and the one structural fact that changes everything is that it's a bound suffix glued to the noun, conjugating like a descriptive verb, not a free-standing 'to be'.
  • 이었어요 / 였어요: Past CopulaTOPIK 1The past of 이다: 이었어요 after a consonant, 였어요 after a vowel — the past marker 았/었 is infixed into the copula itself, the noun never changes, and one rule (keep 이 after a consonant, fuse it after a vowel) generates present, past, and negative past alike.
  • 합니다체: The Formal Polite Style (-(스)ㅂ니다)TOPIK 1The formal-polite declarative -(스)ㅂ니다 — its batchim allomorphy, the ㄹ-drop, the [슴니다] pronunciation trap, and why 합니다체 is a distinct register, not just 'more polite 해요체.'
  • The Formal Present -ㅂ니다/습니다 (합니다체)TOPIK 1-ㅂ니다/습니다, the formal-polite present of broadcasts, presentations, and first meetings: -ㅂ니다 after a vowel or ㄹ stem (with ㄹ dropped), -습니다 after a consonant stem, question -ㅂ니까/습니까 — same meaning as 해요체, higher formality, pronounced [-mnida].