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

learning (Learning)

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

Ontology

SUMO / PROCESSES

Superclass(es)

[tree]
entity
is subclass of
  physical  
is subclass of
  process  
is subclass of
  intentional process  
is subclass of
[tree]
entity
is subclass of
  physical  
is subclass of
  process  
is subclass of
  internal change  
is subclass of
  biological process  
is subclass of
  psychological process  
is subclass of
is subclass of
  intentional psychological process  
is subclass of
  learning  

Coordinate term(s)

calculating  classifying  comparing  planning  predicting  reasoning  selecting 

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)

If education is an instance of educational process and person is a patient of education, then education has purpose "there exists learning learn so that person is a patient of learn". 
(=>
      (and
            (instance ?EDUCATION EducationalProcess)
            (patient ?EDUCATION ?PERSON))
      (hasPurpose
            ?EDUCATION
            (exists
                  (?LEARN)
                  (and
                        (instance ?LEARN Learning)
                        (patient ?LEARN ?PERSON)))))
If learn is an instance of learning and learn is an agent of agent, then agent is an instance of cognitive agent. 
(=>
      (and
            (instance ?LEARN Learning)
            (agent ?LEARN ?AGENT))
      (instance ?AGENT CognitiveAgent))
If there exists learning learn so that learn is an agent of agent and prop is a patient of learn during time, then agent believes prop immediately after time. 
(=>
      (holdsDuring
            ?TIME
            (exists
                  (?LEARN)
                  (and
                        (instance ?LEARN Learning)
                        (agent ?LEARN ?AGENT)
                        (patient ?LEARN ?PROP))))
      (holdsDuring
            (ImmediateFutureFn ?TIME)
            (believes ?AGENT ?PROP)))