SUMO View all facts Glossary Help |
unparented > subOrganizations |
subOrganizations comparison table |
Subject | documentation | have domain2 | have domain1 | have axiom |
---|---|---|---|---|
unparented | ||||
subOrganizations | (subOrganizations ?ORG1 ?ORG2) means that ?ORG1 is an Organization which is a proper part of the Organization ?ORG2 | Organization | Organization | (=> |
Next unparented: subset Up: unparented Previous unparented: result