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

RelazioneAsimmetrica
is instance of

RelazioneIntransitiva
is instance of

member

Superrelation(s)

partly located

located

part

member

Coordinate term(s)

back fn cardinality fn front fn principal host fn probability fn skin fn attribute authors causes causes subclass citizen closed on completely fills contains information crosses date developmental form documentation duration editor element equivalence relation on exploits expressed in language fills frequency graph part has purpose has skill holds during holds obligation holds right hole identity element immediate instance immediate subclass in list in scope of interest inhabits irreflexive on manner measure meets temporally modal attribute parent partial ordering on partially fills path length penetrates possesses precondition proper part properly fills publishes range range subclass realization reflexive on successor attribute surface temporal part time total ordering on trichotomizing on uses valence version

Type restrictions

member(OggettoIntegro, InsiemeConcreto)

Related WordNet synsets

See more related synsets on a separate page.

Axioms (14)

Se coll é un' istanza di InsiemeConcreto, allora esiste obj tale che obj é un membro di coll.

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

member é interamente correlato a instance.

(relatedInternalConcept member instance)

member é interamente correlato a element.

(relatedInternalConcept member element)

coll1 é sottoinsieme un proprio coll2 se e solo se

coll1 é un' istanza di InsiemeConcreto
coll2 é un' istanza di InsiemeConcreto
per ogni member vale: se member é un membro di coll1, allora member é un membro di coll2

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

Se obj1 é un membro di coll e obj2 é un membro di coll e obj1 is not uguale a obj2, allora obj1 non si sovrappone a obj2.

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

Se act é un' istanza di ProcessoOrganizzativo e act é un agente di agent, allora

agent é un' istanza di Organizzazione
esiste Organizzazione org tale che agent é un membro di org

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

Se act é un' istanza di ProcessoReligioso e act é un agente di agent, allora

agent é un' istanza di OrganizzazioneReligiosa
esiste OrganizzazioneReligiosa org tale che agent é un membro di org

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

Se join é un' istanza di AdesioneAdUn'Organizzazione e org é un' istanza di Organizzazione e join é un agente di org e person é un paziente di join, allora "person é un membro di org" vales durante "immediatamente dopo "il tempo di esistenza di join"".

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

Se leave é un' istanza di AbbandonoDiUn'Organizzazione e org é un' istanza di Organizzazione e leave é un agente di org e person é un paziente di leave, allora "person é not un membro di org" vales durante "immediatamente dopo "il tempo di esistenza di leave"".

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

se war é un' istanza di Guerra e war é un agente di agent,
allora
- agent é un' istanza di Nazione
- - agent é un' istanza di Organizzazione
  - per ogni member vale: se member é un membro di agent, allora member é un' istanza di Nazione

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

Se group é un' istanza di Gruppo e memb é un membro di group, allora memb é un' istanza di Agente.

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

se group é un' istanza di GruppoDiEtá,
allora per ogni memb1,memb2,age1,age2 vale: se memb1 é un membro di group e memb2 é un membro di group e il etá di memb1 é age1 e il etá di memb2 é age2, allora age1 is uguale a 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))))

se group é un' istanza di GruppoFamiliare,
allora per ogni memb1,memb2 vale: se memb1 é un membro di group e memb2 é un membro di group, allora memb1 e memb2 sono parenti

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

Se org impiegas person, allora person é un membro di org.

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