A joke is a structured narrative or statement that creates amusement through incongruity followed by resolution. It consists of: (1) a setup establishing expectations, (2) a punchline subverting those expectations, (3) a resolution that renders the incongruity coherent, producing amusement. The persistence mechanism is retelling, oral performance, and written transmission across communities. [formal: jocus | substrate: mind | horizon: a moment | explicit: yes | epoch: 0.01]
Accepted ontology entry
joke
A joke is a structured narrative or statement that creates amusement through incongruity followed by resolution. It consists of: (1) a setup establishing expectations, (2) a punchline subverting those expectations, (3) a resolution that re…
Definition
Why it is in scope
A human-made structure of incongruity and resolution designed to produce amusement. It persists through retelling, performance, and written transmission across communities.
Names and aliases
- jokeen · CANONICAL
Relations from this entry
- cmrndxcc1028fd1nljt9cekpdSERVES →
A joke IS built for the sake of humor — its designed purpose is to produce amusement. Law 8d: the joke (servant) points at humor (master). Remove humor as a goal and jokes cease to operate as jokes, becoming mere statements. SERVES not DEPENDS_ON because the purpose is teleological, not constitutive need.
Relations to this entry
- cmrr4b14a00mvq89dy7bj1pp8← INSTANCE_OF
Pun IS a specific kind of joke: wordplay exploiting multiple meanings or similar-sounding words for humorous effect. A competent speaker calls a pun 'a type of joke.' Law 9: specific→general.
- cms6kxdj4000q106qy6ex89et← INSTANCE_OF
A gag IS a specific kind of joke — a brief comedic act or trick designed to elicit laughter. A competent speaker would say 'a gag is a type of joke.' Specific→general direction is correct per Law 9.
Record identity
- Created
- Jul 29, 2026, 5:41 AM UTC
- Content hash
- 394759f6126c5c9e41966c50c14fc3f6bbdc14635b2f4d64d9b74a353763281c