mirror of
https://github.com/allaunthefox/Research-Stack.git
synced 2026-07-31 03:05:21 +00:00
25 lines
324 B
Text
25 lines
324 B
Text
namespace Semantics
|
|
|
|
/--
|
|
Universal Semantic Primes (Atoms).
|
|
These are the irreducible primitives of human thought according to NSM theory.
|
|
--/
|
|
inductive Atom : Type
|
|
| someone
|
|
| something
|
|
| do_
|
|
| happen
|
|
| move
|
|
| cause
|
|
| die
|
|
| want
|
|
| know
|
|
| feel
|
|
| think
|
|
| good
|
|
| bad
|
|
| because
|
|
| not
|
|
deriving Repr, DecidableEq
|
|
|
|
end Semantics
|