Semantics visualized

For a visual presentation of the semantics of terms, we use Venn-diagrams.