Synset

of a proposition that is necessarily true independent of fact or experience
<adj.all>

"`all spinsters are unmarried' is an analytic proposition"

lexical pointers

antonym

semantic pointers

also see

domain of synset (topic)