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

subset comparison table
Subject documentation have domain2 have domain1 have axiom
unparented    
subset(subset ?SET1 ?SET2) is true just in case the elements of the Set ?SET1 are also elements of the Set ?SET2SetSet
(=> 
    (subset ?SUBSET ?SET)
    (forall (?ELEMENT)
       (=> 
          (element ?ELEMENT ?SUBSET)
          (element ?ELEMENT ?SET))))

Next unparented: subsumedExternalConcept    Up: unparented    Previous unparented: subOrganizations