[ Skip to the content ]

Institute of Formal and Applied Linguistics Wiki

[ Back to the navigation ]

SUBM Subsumption of Sets (Set Inclusion)

Definition: The statement (g1 SUBM g2) specifies that the collection/set g1 is completely contained in, but is not identical to, the collection/set g2. This relation is transitive, asymmetric, and not reflexive. The reflexive relation SUBME expressing set inclusion or equality is defined analogously to SUBM.

MultiNet (Multilayered Extended Semantic Networks) is developed and maintained
by Intelligent Information and Communication Systems Department of FernUniversität in Hagen.

[ Back to the navigation ] [ Back to the content ]