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

subOrganizations
subjectfact 
subOrganizationsdocumentation (subOrganizations ?ORG1 ?ORG2) means that ?ORG1 is an Organization which is a proper part of the Organization ?ORG22001-11-30 13:35:20.0
has axiom 
(=>
    (instance ?NATION Nation)
    (exists (?GOV)
       (and
          (instance ?GOV Government)
          (subOrganizations ?GOV ?NATION))))
2001-11-30 13:35:20.0
has domain1 Organization2001-11-30 13:35:20.0
has domain2 Organization2001-11-30 13:35:20.0