(subset set1 set2) is true just in case the
elements of the Set set1 are also elements of the Set set2.
SUMO / SET/CLASS-THEORY
Related WordNet synsets
See more related synsets on a separate page.
- a set whose members are members of another set; a set contained within another set
(subset ?SUBSET ?SET)
(element ?ELEMENT ?SUBSET)
(element ?ELEMENT ?SET))))