SUMO View all facts Glossary Help |
unparented > subOrganizations |
subOrganizations | ||||
subject | fact |
subOrganizations | documentation (subOrganizations ?ORG1 ?ORG2) means that ?ORG1 is an Organization which is a proper part of the Organization ?ORG2 | |
has axiom (=> | ||
has domain1 Organization | ||
has domain2 Organization |