Select language: english | cesky | deutsch | italiano | simplified chinese | traditional chinese | hindi
Concept:
English word:
Home

Incontro (Meeting)

The coming together of two or more CognitiveAgents for the purpose of Communication. This covers informal meetings, e.g. visits with family members, and formal meetings, e.g. a board of directors meeting.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Processo  
is subclass of
  ProcessoIntenzionale  
is subclass of
  InterazioneSociale  
is subclass of
  Incontro  

Coordinate term(s)

CambiamentodiPossesso  Comunicazione  Competizione  Cooperazione  Fingere 

Related WordNet synsets

merging, meeting, coming together
the act of joining together as one; "the merging of the two groups occurred quickly"; "there was no meeting of minds"
merging is kind of (all)...   merging is kind of...   kinds of merging...   kinds of merging (all)...  
concourse, confluence
a coming together of people
concourse is kind of (all)...   concourse is kind of...  
meeting, coming together
the social act of assembling for some common purpose; "his meeting with the salesmen was the high point of his day"
meeting is kind of (all)...   meeting is kind of...   kinds of meeting...   kinds of meeting (all)...  
See more related synsets on a separate page.

Axioms (2)

Se meet é un' istanza di Incontro e meet é un agente di agent1 e meet é un agente di agent2, allora "agent1 é near a agent2" vales durante "il tempo di esistenza di meet".
(=>
      (and
            (instance ?MEET Meeting)
            (agent ?MEET ?AGENT1)
            (agent ?MEET ?AGENT2))
      (holdsDuring
            (WhenFn ?MEET)
            (orientation ?AGENT1 ?AGENT2 Near)))

Se meet é un' istanza di Incontro, allora esiste agent1,agent2 tale che meet é un agente di agent1 e meet é un agente di agent2 e meet ha scopo "esiste Comunicazione comm tale che comm é un agente di agent1 e comm é un agente di agent2".
(=>
      (instance ?MEET Meeting)
      (exists
            (?AGENT1 ?AGENT2)
            (and
                  (agent ?MEET ?AGENT1)
                  (agent ?MEET ?AGENT2)
                  (hasPurpose
                        ?MEET
                        (exists
                              (?COMM)
                              (and
                                    (instance ?COMM Communication)
                                    (agent ?COMM ?AGENT1)
                                    (agent ?COMM ?AGENT2)))))))