mitglied (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)

asymmetrische Relation
is instance of

intransitive Relation
is instance of

mitglied

Superrelation(s)

befindetSichTeils

befindetSich

teil

mitglied

Coordinate term(s)

RückseiteFn KardinalitätFn FrontseiteFn HauptwirtFn Wahrscheinlichkeit OberflächeFn attribut schreibt verursacht causes subclass bürger aufgeschlossen fülltVollständig enthältInformationen kreuzt datum entwicklungsForm dokumentation &%dauer von %1 ist %2 %n{nicht} herausgeber element äquivalenzrelationMit nutztAus inSpracheAusgedrückt füllt frequenz graphenTeil hatZweck hatFähigkeit hältWährend hatVerpflichtung hatRecht loch identitätsElement direkterFall direckteTeilkategorie inListe imBereichInteresses wohnt irreflexivAur weise mass schliesstZeitlichAn modalesAttribute elternteil teilweiseEinrichtung fülltTeilweise pfadLänge dringtEin besitzt vorbedingung korrektesTeil fülltRichtig veröffentlicht &%bildbereich von %1 ist ein fall von %2 {nicht} bildbereichTeilkategorie realizierung reflexivAuf nachfolgerAttribut fläche zeitlichesTeil zeit gesamteinrichtung trichotomizierungAuf verwendet valenz version

Type restrictions

member(selbstverbundener Gegenstand, Ansammlung)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (14)

Wenn coll ist ein fall von Ansammlung , dann es gibt ein obj der obj ist ein Mitglied von coll .

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

mitglied ist innerlich verwandt mit fall .

(relatedInternalConcept member instance)

mitglied ist innerlich verwandt mit element .

(relatedInternalConcept member element)

coll1 ist eine korrekte teilsammlung von coll2 nur wenn

coll1 ist ein fall von Ansammlung
coll2 ist ein fall von Ansammlung
für jeden member gilt: wenn member ist ein Mitglied von coll1 , dann member ist ein Mitglied von coll2

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

Wenn obj1 ist ein Mitglied von coll und obj2 ist ein Mitglied von coll und obj1 ist gleich obj2 nicht, dann obj1 deckt sich mit obj2 räumlich nicht.

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

Wenn act ist ein fall von organisatorisher Prozess und act ist der agent von agent , dann

agent ist ein fall von Organisation
es gibt ein Organisation org der agent ist ein Mitglied von org

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

Wenn act ist ein fall von religiöser Prozess und act ist der agent von agent , dann

agent ist ein fall von religiöse Organisation
es gibt ein religiöse Organisation org der agent ist ein Mitglied von org

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

Wenn join ist ein fall von gehen zu einer Organisation und org ist ein fall von Organisation und join ist der agent von org und person ist ein patient von join , dann "person ist ein Mitglied von org " hält während "sofort nach "die zeit des Bestehens von join"" .

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

Wenn leave ist ein fall von verlassen eine Organisation und org ist ein fall von Organisation und leave ist der agent von org und person ist ein patient von leave , dann "person ist ein Mitglied von org nicht" hält während "sofort nach "die zeit des Bestehens von leave"" .

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

wenn war ist ein fall von Krieg und war ist der agent von agent ,
dann
- agent ist ein fall von Nation
- - agent ist ein fall von Organisation
  - für jeden member gilt: wenn member ist ein Mitglied von agent , dann member ist ein fall von Nation

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

Wenn group ist ein fall von Gruppe und memb ist ein Mitglied von group , dann memb ist ein fall von Agent .

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

wenn group ist ein fall von Altersklasse ,
dann für jeden memb1,memb2,age1,age2 gilt: wenn memb1 ist ein Mitglied von group und memb2 ist ein Mitglied von group und das alter von memb1 ist age1 und das alter von memb2 ist age2 , dann age1 ist gleich 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))))

wenn group ist ein fall von Familiengruppe ,
dann für jeden memb1,memb2 gilt: wenn memb1 ist ein Mitglied von group und memb2 ist ein Mitglied von group , dann memb1 und memb2 sind verwandt

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

Wenn org beschäftigt person , dann person ist ein Mitglied von org .

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