SUMO View all facts Glossary Help |
unparented > subset |
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 ?SET2 | Set | Set | (=> |
Next unparented: subsumedExternalConcept Up: unparented Previous unparented: subOrganizations