The object EmbeddedK3surface is a type, with ancestor classes EmbeddedProjectiveVariety < MultiprojectiveVariety < MutableHashTable < HashTable < Thing.
The source of this document is in K3Surfaces.m2:882:0.