employs (employs)

(employs org person) means that org has hired person and currently retains person, on a salaried or contractual basis, to provide services in exchange for monetary compensation.

Ontology

SUMO / OBJECTS

Class(es)

class

inheritable relation

binary predicate

employs

Coordinate term(s)

arc weight authors before or equal causes causes subclass citizen closed on connected contains information cooccur copy date decreases likelihood developmental form disjoint distributes documentation duration earlier editor element equal equivalence relation on exploits expressed in language faces family relation finishes frequency graph part greater than greater than or equal to has purpose has skill holds during holds obligation holds right hole identity element in list in scope of interest increases likelihood independent probability inhabits inhibits initial list instance inverse irreflexive on larger less than less than or equal to material measure meets temporally modal attribute overlaps temporally parent partial ordering on partly located path length possesses precondition prevents property publishes range range subclass refers reflexive on related internal concept sibling smaller starts sub attribute sub collection sub graph sub list sub process sub proposition subclass subrelation subsumes content class subsumes content instance successor attribute successor attribute closure temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

employs(organization, cognitive agent)

Related WordNet synsets

employment, engagement, hire, hiring: the act of giving someone a job
employment, employ: the state of being employed or having a job; "they are looking for employment"; "he was in the employ of the city"
work, do work: be employed; "Is your husband working again?" "My wife never worked"

See more related synsets on a separate page.

Axioms (5)

If hire is an instance of hiring and org is an instance of organization and hire is an agent of org and person is a patient of hire, then org employs person immediately after "the time of existence of hire".

(=>
      (and
            (instance ?HIRE Hiring)
            (instance ?ORG Organization)
            (agent ?HIRE ?ORG)
            (patient ?HIRE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?HIRE))
            (employs ?ORG ?PERSON)))

If fire is an instance of terminating employment and org is an instance of organization and fire is an agent of org and person is a patient of fire, then org doesn't employ person immediately after "the time of existence of fire".

(=>
      (and
            (instance ?FIRE TerminatingEmployment)
            (instance ?ORG Organization)
            (agent ?FIRE ?ORG)
            (patient ?FIRE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?FIRE))
            (not
                  (employs ?ORG ?PERSON))))

If org employs person, then person is a member of org.

(=>
      (employs ?ORG ?PERSON)
      (member ?PERSON ?ORG))

For all org holds: org doesn't employ person and person is an instance of human if and only if unemployed is an attribute of person.

(<=>
      (forall
            (?ORG)
            (and
                  (not
                        (employs ?ORG ?PERSON))
                  (instance ?PERSON Human)))
      (attribute ?PERSON Unemployed))

If org employs person, then there exists position so that person holds the position of position in org.

(=>
      (employs ?ORG ?PERSON)
      (exists
            (?POSITION)
            (occupiesPosition ?PERSON ?POSITION ?ORG)))