SUMO   View all facts   Glossary   Help
unparented > subset
Next unparented: subsumedExternalConcept    Up: unparented    Previous unparented: subOrganizations   

subset
subjectfact 
subsetdocumentation (subset ?SET1 ?SET2) is true just in case the elements of the Set ?SET1 are also elements of the Set ?SET22001-11-30 13:35:21.0
has axiom 
(=> 
    (subset ?SUBSET ?SET)
    (forall (?ELEMENT)
       (=> 
          (element ?ELEMENT ?SUBSET)
          (element ?ELEMENT ?SET))))
2001-11-30 13:35:21.0
has domain1 Set2001-11-30 13:35:21.0
has domain2 Set2001-11-30 13:35:21.0