Synset
declared as fact; explicitly stated
<adj.all>
declared
stated
semantic pointers
similar to
explicit, expressed