Dotty
E350890
UNEXPLORED
Dotty is a common diminutive given name, typically used as a nickname for Dorothy.
Referenced by (2)
| Subject (surface form when different) | Predicate |
|---|---|
|
Dorothy
→
|
hasDiminutive |
|
Scala
→
|
hasImplementation |