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.
by Intelligent Information and Communication Systems Department of FernUniversität in Hagen.