organizace (Organization)
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 Organization.
Ontologie
SUMO / OBJECTSNadtřída(y)
Podtřída(y)
korporace
politická organizace
vzdělávací organizace
náboženská organizace
Související termín(y)
věková skupina
etnická skupina
rodinná skupina
Constrains relations
organization fn
employs
occupies position
publishes
sub organizations
Related WordNet synsets
- association
- a formal organization of people; "he joined the Modern Language Association"
- organizational
- of or relating to an organization; "organizational structure"
- organizationally
- with regard to organization; "organizationally, the conference was a disaster!"
See more related synsets on a separate page.
Axiomy (6)
Jestliže act je instancí třídy organizační proces a agent je původcem act, potom
(=>
(and
(instance ?ACT OrganizationalProcess)
(agent ?ACT ?AGENT))
(or
(instance ?AGENT Organization)
(exists
(?ORG)
(and
(instance ?ORG Organization)
(member ?AGENT ?ORG)))))
Jestliže join je instancí třídy nastoupení do organizace a org je instancí třídy organizace a org je původcem join a person je účastníkem join, potom person je a členem org právě po doba existence join.
(=>
(and
(instance ?JOIN JoiningAnOrganization)
(instance ?ORG Organization)
(agent ?JOIN ?ORG)
(patient ?JOIN ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?JOIN))
(member ?PERSON ?ORG)))
Jestliže leave je instancí třídy opuštění organizace a org je instancí třídy organizace a org je původcem leave a person je účastníkem leave, potom person není a členem org právě po doba existence leave.
(=>
(and
(instance ?LEAVE LeavingAnOrganization)
(instance ?ORG Organization)
(agent ?LEAVE ?ORG)
(patient ?LEAVE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?LEAVE))
(not
(member ?PERSON ?ORG))))
Jestliže hire je instancí třídy najímání a org je instancí třídy organizace a org je původcem hire a person je účastníkem hire, potom org employs person právě po doba existence hire.
(=>
(and
(instance ?HIRE Hiring)
(instance ?ORG Organization)
(agent ?HIRE ?ORG)
(patient ?HIRE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?HIRE))
(employs ?ORG ?PERSON)))
Jestliže fire je instancí třídy ukončení pracovního poměru a org je instancí třídy organizace a org je původcem fire a person je účastníkem fire, potom org doesn't employ person právě po doba existence fire.
(=>
(and
(instance ?FIRE TerminatingEmployment)
(instance ?ORG Organization)
(agent ?FIRE ?ORG)
(patient ?FIRE ?PERSON))
(holdsDuring
(ImmediateFutureFn
(WhenFn ?FIRE))
(not
(employs ?ORG ?PERSON))))
(=>
(and
(instance ?WAR War)
(agent ?WAR ?AGENT))
(or
(instance ?AGENT Nation)
(and
(instance ?AGENT Organization)
(forall
(?MEMBER)
(=>
(member ?MEMBER ?AGENT)
(instance ?MEMBER Nation))))))