我甚至不知道沙利文是不是他的真名。

I don't even know if Sullivan's his real name.

《柯林斯英汉双解大词典》

我们从来也不知道他的真名是不是叫查理，但是他害羞的点点头说：“是的。”

We never got to know if his name really was "Charlie", but he nodded shyly and said yes.

youdao

我的真名是Enrique Martin Morales，当然很多人认识的是Ricky Martin：音乐人、歌手、作曲家、慈善家，可能有些人还不知道，我还是演员。

MY GIVEN NAME is Enrique Martin Morales, but most people know me as Ricky Martin: musician, singer, composer, philanthropist, and some might also know I'm an actor.

youdao