SUMO   View all facts   Glossary   Help
Entity > Physical > Object > Agent > Group > GroupOfPeople > Organization
Next GroupOfPeopleAgeGroup    UpGroupOfPeople, OrganizationUnit    Previous GroupOfPeopleFamilyGroup   

Organization
subjectfact 
Organizationdocumentation An Organization is a corporate or similar institution, distinguished from other Agents. The members of an Organization typically have a common purpose or function. Note that parts of Organizations should not be included here, unless they are subOrganizations of an Organization2001-11-30 13:34:53.0
has 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
is a kind of GroupOfPeople2001-11-30 13:34:53.0
is a kind of OrganizationUnit2001-11-30 13:34:53.0
Objectis disjoint from Process2001-11-30 13:34:50.0

Kinds of Organization :