Formal semantics (linguistics)
WordNet

noun


(1)   The branch of semantics that studies the logical aspects of meaning
 
x
OK