SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Agent > Group > GroupOfPeople > Organization > EducationalOrganization
Next Organization: Government    Up: Organization    Previous Organization: Corporation   

EducationalOrganization
subjectfact 
EducationalOrganizationdocumentation A EducationalOrganization is an institution of learning. Some examples are public and private K-12 schools, and colleges and universities2001-11-30 13:34:08.0
is a kind of Organization2001-11-30 13:34:08.0
Organizationhas axiom 
(=>
    (and
       (instance ?ACT OrganizationalProcess)
       (agent ?ACT ?AGENT))
    (or
       (instance ?AGENT Organization)
       (exists (?ORG)
          (and
             (instance ?ORG Organization)
             (member ?AGENT ?ORG)))))
2001-11-30 13:34:53.0
has axiom 
(=>
    (and
       (instance ?WAR War)
       (agent ?WAR ?AGENT))
    (or
       (instance ?AGENT Nation)
       (and
          (instance ?AGENT Organization)
          (forall (?MEMBER)
             (=>
                (member ?MEMBER ?AGENT)
                (instance ?MEMBER Nation))))))
2001-11-30 13:34:53.0
has axiom 
(=>
    (instance ?ACT OccupationalProcess)
    (exists (?ORG ?EMP)
       (and
          (instance ?ORG Organization)
          (employs ?ORG ?EMP)
          (agent ?ACT ?EMP))))
2001-11-30 13:34:53.0
is first domain of employs2001-11-30 13:34:53.0
is first domain of subOrganizations2001-11-30 13:34:53.0
is second domain of subOrganizations2001-11-30 13:34:53.0
is third domain of occupiesPosition2001-11-30 13:34:53.0
Objectis disjoint from Process2001-11-30 13:34:50.0