I think it's the name given by the author for the reader's sake and not their "real" name. I think he says in the beginning, let's call her portia . Their names are said in taps of their limbs. And are probably different for different portia over the history of the series. I may be mistaken.