成員 (member)

A specialized common sense notion of part for uniform parts of Collections. For example, each sheep in a flock of sheep would have the relationship of member to the flock.

Ontology

SUMO / BASE-ONTOLOGY

Class(es)

不對稱關係

非可遞關係

成員

Superrelation(s)

部分位於

位於

部分

成員

Coordinate term(s)

反面函數計數函數正面函數主體函數或然率函數表皮函數屬性作者肇因次類肇因公民封閉於填滿包含訊息相交日期發展期形式文字說明持續時間編者元素等同關係於利用以...語言表達填充次數圖部分有意圖有技巧在...期間為真須使...為真有權使...為真洞同一元素直接實例直接次種類串列中在注意範圍中居住非反射於... 方式/情狀測量時段相接情態屬性雙親偏序於... 部分填充路徑長穿入擁有先決條件正部分適當填充出版範圍範圍次種類實現反射於... 續接屬性表面時間部分時間全序於... 三分法使用（結合）價人造物版本

Type restrictions

member(自身連續物體, 群集)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (14)

If coll 是群集的實例, then there exists obj so that obj 是 coll的成員.

(=>
      (instance ?COLL Collection)
      (exists
            (?OBJ)
            (member ?OBJ ?COLL)))

成員內部相關於實例.

(relatedInternalConcept member instance)

成員內部相關於元素.

(relatedInternalConcept member element)

coll1 是 coll2 的正次聚集 if and only if

coll1 是群集的實例
coll2 是群集的實例
for all member holds: if member 是 coll1的成員, then member 是 coll2的成員

(<=>
      (subCollection ?COLL1 ?COLL2)
      (and
            (instance ?COLL1 Collection)
            (instance ?COLL2 Collection)
            (forall
                  (?MEMBER)
                  (=>
                        (member ?MEMBER ?COLL1)
                        (member ?MEMBER ?COLL2)))))

If obj1 是 coll的成員 and obj2 是 coll的成員 and obj1 等於 obj2, then obj1 not(沒) 與 obj2 重�|.

(=>
      (and
            (member ?OBJ1 ?COLL)
            (member ?OBJ2 ?COLL)
            (not
                  (equal ?OBJ1 ?OBJ2)))
      (not
            (overlapsSpatially ?OBJ1 ?OBJ2)))

If act 是組織性的歷程的實例 and act 是 agent 的施事者, then

agent 是組織的實例
there exists 組織 org so that agent 是 org的成員

(=>
      (and
            (instance ?ACT OrganizationalProcess)
            (agent ?ACT ?AGENT))
      (or
            (instance ?AGENT Organization)
            (exists
                  (?ORG)
                  (and
                        (instance ?ORG Organization)
                        (member ?AGENT ?ORG)))))

If act 是宗教歷程的實例 and act 是 agent 的施事者, then

agent 是宗教組織的實例
there exists 宗教組織 org so that agent 是 org的成員

(=>
      (and
            (instance ?ACT ReligiousProcess)
            (agent ?ACT ?AGENT))
      (or
            (instance ?AGENT ReligiousOrganization)
            (exists
                  (?ORG)
                  (and
                        (member ?AGENT ?ORG)
                        (instance ?ORG ReligiousOrganization)))))

If join 是加入組織的實例 and org 是組織的實例 and join 是 org 的施事者 and person 是 join 的受事者, then person 是 org的成員 ""join 存在的時間" 不久之後"a(之中) "join 存在的時間" 不久之後.

(=>
      (and
            (instance ?JOIN JoiningAnOrganization)
            (instance ?ORG Organization)
            (agent ?JOIN ?ORG)
            (patient ?JOIN ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?JOIN))
            (member ?PERSON ?ORG)))

If leave 是脫離組織的實例 and org 是組織的實例 and leave 是 org 的施事者 and person 是 leave 的受事者, then person 是 org的成員 ""leave 存在的時間" 不久之後"a(之中) "leave 存在的時間" 不久之後.

(=>
      (and
            (instance ?LEAVE LeavingAnOrganization)
            (instance ?ORG Organization)
            (agent ?LEAVE ?ORG)
            (patient ?LEAVE ?PERSON))
      (holdsDuring
            (ImmediateFutureFn
                  (WhenFn ?LEAVE))
            (not
                  (member ?PERSON ?ORG))))

if war 是戰爭的實例 and war 是 agent 的施事者,
then
- agent 是國家的實例
- - agent 是組織的實例
  - for all member holds: if member 是 agent的成員, then member 是國家的實例

(=>
      (and
            (instance ?WAR War)
            (agent ?WAR ?AGENT))
      (or
            (instance ?AGENT Nation)
            (and
                  (instance ?AGENT Organization)
                  (forall
                        (?MEMBER)
                        (=>
                              (member ?MEMBER ?AGENT)
                              (instance ?MEMBER Nation))))))

If group 是群體的實例 and memb 是 group的成員, then memb 是施事者的實例.

(=>
      (and
            (instance ?GROUP Group)
            (member ?MEMB ?GROUP))
      (instance ?MEMB Agent))

if group 是年齡層的實例,
then for all memb1,memb2,age1,age2 holds: if memb1 是 group的成員 and memb2 是 group的成員 and memb1 的 �~紀是 age1 and memb2 的 �~紀是 age2, then age1 等於 age2

(=>
      (instance ?GROUP AgeGroup)
      (forall
            (?MEMB1 ?MEMB2 ?AGE1 ?AGE2)
            (=>
                  (and
                        (member ?MEMB1 ?GROUP)
                        (member ?MEMB2 ?GROUP)
                        (age ?MEMB1 ?AGE1)
                        (age ?MEMB2 ?AGE2))
                  (equal ?AGE1 ?AGE2))))

if group 是親屬∕宗族的實例,
then for all memb1,memb2 holds: if memb1 是 group的成員 and memb2 是 group的成員, then memb1 和 memb2 相關

(=>
      (instance ?GROUP FamilyGroup)
      (forall
            (?MEMB1 ?MEMB2)
            (=>
                  (and
                        (member ?MEMB1 ?GROUP)
                        (member ?MEMB2 ?GROUP))
                  (familyRelation ?MEMB1 ?MEMB2))))

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

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