Thanks for the response. I think what I get from it is that the current knowledge representation framework (i.e. the "entity framework") is not extensible, either to create new Types or new instances (Entities). For example, there is an existing "Artwork" Type with many Entities, but there is no way to add another Artwork Entity. Much less a new Type, such as, say, "Event".
It sounds like "EntityClass" is what is usually called a "sub-type" of "Type". Is that right? Can "EntityClasses" be further categorized into other "EntityClasses". For example, I could imagine a Type "Event" that has classes such as "SportsEvent" and "MusicEvent", where "MusicEvent" has its own classes such as "RockMusicEvent" and "FolkMusicEvent" and "ClassicalMusicEvent". Does the design support that kind of thing (even if in practice you have to be "inside" to create a Type or an Class.)
When I do: "EntityValue["Artwork", "SampleEntities"]", I get a list of art works, include "The Bride". But when I do ctrl= and then enter "The Bride", it proposes "movie" and does not list "art work" as an alternative. If I do ctrl= and enter "Portrait of Titus", it replaces what I type with "EntityValue[Titus(person), image]" (I guess because it interprets the word "portrait"??). When I evaluate that, I get the image. If I do ctrl= and enter "Great Fish Market", it proposes "Great Fish Market (artwork)", which is what I expect. But if I evaluate the cell, I get just the "Great Fish Market" entity, rather than the image. Overall, the varying behavior is quite confusing. The ctrl= method does not appear to be a reliable way to identify Entities.