雇用 (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)

種類

可繼承關係

二元述詞

雇用

Coordinate term(s)

弧線重量作者先於或同時肇因次類肇因公民封閉於相連的包含訊息共生複製日期降低可能性發展期形式無交集分配文字說明持續時間較早編者元素相等等同關係於利用以...語言表達面對家族關係完成次數圖部分大於大於或等於有意圖有技巧在...期間為真須使...為真有權使...為真洞同一元素串列中在注意範圍中增加可能性獨立或然率居住抑制初始化序列實例倒序非反射於... 大於小於小於或等於物質測量時段相接情態屬性時段重疊雙親偏序於... 部分位於路徑長擁有先決條件避免特性出版範圍範圍次種類提及反射於... SUMO內部相關概念兄弟姊妹小於開始次屬性次聚集次圖次序列次歷程次命題次種類次關係包含訊息種類包含訊息實例續接屬性封閉續接屬性時間部分時間全序於... 三分法使用（結合）價人造物版本

Type restrictions

employs(組織, 具認知力施事者)

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 是僱用的實例 and org 是組織的實例 and hire 是 org 的施事者 and person 是 hire 的受事者, then org (沒) 雇用not(s) person ""hire 存在的時間" 不久之後"a(之中) "hire 存在的時間" 不久之後.

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

If fire 是解僱的實例 and org 是組織的實例 and fire 是 org 的施事者 and person 是 fire 的受事者, then org not(沒) 雇用(s) person ""fire 存在的時間" 不久之後"a(之中) "fire 存在的時間" 不久之後.

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

If org (沒) 雇用not(s) person, then person 是 org的成員.

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

For all org holds: org not(沒) 雇用(s) person and person 是人類的實例 if and only if 失業的是 person 的屬性.

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

If org (沒) 雇用not(s) person, then there exists position so that person 佔 position 的職位在 org.

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