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

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 ?ORG2OrganizationOrganization
(=>
    (instance ?NATION Nation)
    (exists (?GOV)
       (and
          (instance ?GOV Government)
          (subOrganizations ?GOV ?NATION))))

Next unparented: subset    Up: unparented    Previous unparented: result