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

Apprendere (Learning)

The Class of Processes which relate to the acquisition of information.

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Processo  
is subclass of
  ProcessoIntenzionale  
is subclass of
[tree]
Entitá
is subclass of
  EntitáConcreta  
is subclass of
  Processo  
is subclass of
  CambiamentoInterno  
is subclass of
  ProcesoBiologico  
is subclass of
  ProcessoPsicologico  
is subclass of

is subclass of
  ProcessoPsicologicoIntenzionale  
is subclass of
  Apprendere  

Coordinate term(s)

Calcolare  Classificare  Paragonare  Pianificazione  Prevedere  Ragionare  Scegliere 

Related WordNet synsets

learning, acquisition
the cognitive process of acquiring skill or knowledge; "the child's acquisition of language"
learning is kind of (all)...   learning is kind of...   kinds of learning...   kinds of learning (all)...  
See more related synsets on a separate page.

Axioms (3)

Se education é un' istanza di ProcessoEducazionale e person é un paziente di education, allora education ha scopo "esiste Apprendere learn tale che person é un paziente di learn".
(=>
      (and
            (instance ?EDUCATION EducationalProcess)
            (patient ?EDUCATION ?PERSON))
      (hasPurpose
            ?EDUCATION
            (exists
                  (?LEARN)
                  (and
                        (instance ?LEARN Learning)
                        (patient ?LEARN ?PERSON)))))

Se learn é un' istanza di Apprendere e learn é un agente di agent, allora agent é un' istanza di AgenteCognitivo.
(=>
      (and
            (instance ?LEARN Learning)
            (agent ?LEARN ?AGENT))
      (instance ?AGENT CognitiveAgent))

Se "esiste Apprendere learn tale che learn é un agente di agent e prop é un paziente di learn" vales durante time, allora "agent believes prop" vales durante "immediatamente dopo time".
(=>
      (holdsDuring
            ?TIME
            (exists
                  (?LEARN)
                  (and
                        (instance ?LEARN Learning)
                        (agent ?LEARN ?AGENT)
                        (patient ?LEARN ?PROP))))
      (holdsDuring
            (ImmediateFutureFn ?TIME)
            (believes ?AGENT ?PROP)))