 There may also be types of knowledge that are not types of belief, though they have received less attention from epistemologists. Ryle (1949), for example, emphasizes the distinction between knowing how to do something (e.g., ride a bicycle) and knowing that some particular proposition is true (e.g., that Seoul is the capital of Korea). In contemporary psychology, a similar distinction is sometimes drawn between procedural knowledge and semantic, or declarative, knowledge (see Squire 1987; Schacter, Wagner, and Buckner 2000; also the entry on  memory).  Although knowledge-that or declarative knowledge may plausibly be a kind of belief, it is not easy to see how procedural knowledge or knowledge-how could be so, unless one holds that people have a myriad of beliefs about minute and non-obvious procedural details. At least, there is no readily apparent relation between knowledge-how and “belief-how” that runs parallel to the relation epistemologists generally accept between knowledge-that and belief-that. (For an influential attempt to subsume knowledge-how under knowledge-that, see Stanley and Williamson 2001; Stanley 2011.)