cheng2 yuan2 (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)

bu2 dui4 chen4 guan1 xi4
is instance of

fei1 ke3 di4 guan1 xi4
is instance of

cheng2 yuan2

Superrelation(s)

bu4 fen5 wei4 yu1

wei4 yu1

bu4 fen5

cheng2 yuan2

Coordinate term(s)

fan3 mian4 han2 shu4 ji4 shu4 han2 shu4 zheng4 mian4 han2 shu4 zhu3 ti1 han2 shu4 huo4 ran2 lv4 han2 shu4 biao3 pi2 han2 shu4 shu3 xing4 zuo4 zhe3 zhao4 yin1 ci4 lei4 zhao4 yin1 gong1 min2 feng1 bi4 yu1 tian2 man3 bao1 han2 xun4 xi1 xiang1 jiao1 ri4 qi1 fa1 zhan3 qi1 xing2 shi4 wen2 zi4 shuo1 ming2 chi2 xu4 shi2 jian1 bian1 zhe3 yuan2 su4 deng3 tong2 guan1 xi4 yu1 li4 yong4 yi3...yu3 yan2 biao3 da2 tian2 chong1 ci4 shu4 tu2 bu4 fen5 you3 yi4 tu2 you3 ji4 qiao3 zai4...qi1 jian1 wei2 zhen1 xu1 shi3...wei2 zhen1 you3 quan2 shi3...wei2 zhen1 dong4 tong2 yi1 yuan2 su4 zhi2 jie1 shi2 li4 zhi2 jie1 ci4 zhong3 lei4 chuan4 lie4 zhong1 zai4 zhu4 yi4 fan4 wei2 zhong1 ju1 zhu4 fei1 fan3 she4 yu1... fang1 shi4/qing2 zhuang4 ce4 liang4 shi2 duan4 xiang1 jie1 qing2 tai4 shu3 xing4 雙親 pian1 xu4 yu1... bu4 fen5 tian2 chong1 lu4 jing4 chang2 chuan1 ru4 yong1 you3 xian1 jue2 tiao2 jian4 zheng4 bu4 fen5 shi4 dang4 tian2 chong1 chu1 ban3 fan4 wei2 fan4 wei2 ci4 zhong3 lei4 shi2 xian4 fan3 she4 yu1... xu4 jie1 shu3 xing4 biao3 mian4 shi2 jian1 bu4 fen5 shi2 jian1 quan2 xu4 yu1... san1 fen1 fa3 shi3 yong4 jie2 he2 jia4 ren2 zao4 wu4 ban3 ben3

Type restrictions

member(zi4 shen1 lian2 xu4 wu4 ti1, qun2 ji2)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (14)

If coll shi4 qun2 ji2 de5 shi2 li4, then there exists obj so_that_not obj shi4 collde5 cheng2 yuan2.

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

cheng2 yuan2 na4 bu4 xiang1 guan1 yu1 shi2 li4.

(relatedInternalConcept member instance)

cheng2 yuan2 na4 bu4 xiang1 guan1 yu1 yuan2 su4.

(relatedInternalConcept member element)

coll1 shi4 coll2 de5 zheng4 ci4 ju4 ji2 if and only if

coll1 shi4 qun2 ji2 de5 shi2 li4
coll2 shi4 qun2 ji2 de5 shi2 li4
for all member holds: if member shi4 coll1de5 cheng2 yuan2, then member shi4 coll2de5 cheng2 yuan2

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

If obj1 shi4 collde5 cheng2 yuan2 and obj2 shi4 collde5 cheng2 yuan2 and obj1 deng3 yu1 obj2, then obj1 not(mei2) yu3 obj2 zhong4 die2.

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

If act shi4 zu3 zhi1 xing4 de5 li4 cheng2 de5 shi2 li4 and act shi4 agent de5 shi1 shi4 zhe3, then

agent shi4 zu3 zhi1 de5 shi2 li4
there exists zu3 zhi1 org so_that_not agent shi4 orgde5 cheng2 yuan2

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

If act shi4 zong1 jiao4 li4 cheng2 de5 shi2 li4 and act shi4 agent de5 shi1 shi4 zhe3, then

agent shi4 zong1 jiao4 zu3 zhi1 de5 shi2 li4
there exists zong1 jiao4 zu3 zhi1 org so_that_not agent shi4 orgde5 cheng2 yuan2

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

If join shi4 jia1 ru4 zu3 zhi1 de5 shi2 li4 and org shi4 zu3 zhi1 de5 shi2 li4 and join shi4 org de5 shi1 shi4 zhe3 and person shi4 join de5 shou4 shi4 zhe3, then person shi4 orgde5 cheng2 yuan2 ""join cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "join cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

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

If leave shi4 tuo1 li2 zu3 zhi1 de5 shi2 li4 and org shi4 zu3 zhi1 de5 shi2 li4 and leave shi4 org de5 shi1 shi4 zhe3 and person shi4 leave de5 shou4 shi4 zhe3, then person shi4 orgde5 cheng2 yuan2 ""leave cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4"a(zhi1 zhong1) "leave cun2 zai4 de5 shi2 jian1" bu4 jiu3 zhi1 hou4.

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

if war shi4 zhan4 zheng1 de5 shi2 li4 and war shi4 agent de5 shi1 shi4 zhe3,
then
- agent shi4 guo2 jia1 de5 shi2 li4
- - agent shi4 zu3 zhi1 de5 shi2 li4
  - for all member holds: if member shi4 agentde5 cheng2 yuan2, then member shi4 guo2 jia1 de5 shi2 li4

(=>
      (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 shi4 qun2 ti1 de5 shi2 li4 and memb shi4 groupde5 cheng2 yuan2, then memb shi4 shi1 shi4 zhe3 de5 shi2 li4.

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

if group shi4 nian2 ling2 ceng2 de5 shi2 li4,
then for all memb1,memb2,age1,age2 holds: if memb1 shi4 groupde5 cheng2 yuan2 and memb2 shi4 groupde5 cheng2 yuan2 and memb1 de5 nian2 ji4 shi4 age1 and memb2 de5 nian2 ji4 shi4 age2, then age1 deng3 yu1 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 shi4 qin1 shu3 zong1 zu2 de5 shi2 li4,
then for all memb1,memb2 holds: if memb1 shi4 groupde5 cheng2 yuan2 and memb2 shi4 groupde5 cheng2 yuan2, then memb1 he2 memb2 xiang1 guan1

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

If org (mei2) gu4 yong4not(s) person, then person shi4 orgde5 cheng2 yuan2.

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