SUMO   View all facts   Glossary   Help
Entity > Physical > Process > IntentionalProcess > MentalProcess > Learning > Identifying
Next LearningDeducing    UpLearning

Identifying
subjectfact 
Identifyingdocumentation The Class of Learning Processes which involve attaching a name or category to a thing or set of things. Note that Identifying is distinguished from Learning by the fact that the latter covers the acquisition by a CognitiveAgent of any Proposition, while the former covers only those cases involving the assignment of a label or category2001-11-30 13:34:27.0
is a kind of Learning2001-11-30 13:34:27.0
Learninghas axiom
(=>
(and
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT))
(instance ?AGENT CognitiveAgent))
2001-11-30 13:34:35.0
has axiom
(=>
(holdsDuring ?TIME
(exists (?LEARN)
(and
(instance ?LEARN Learning)
(agent ?LEARN ?AGENT)
(patient ?LEARN ?PROP))))
(holdsDuring (ImmediateFutureFn ?TIME)
(believes ?AGENT ?PROP)))
2001-11-30 13:34:35.0
has axiom
(=>
(instance ?ACT EducationalProcess)
(exists (?PROC)
(and
(instance ?PROC Learning)
(subProcess ?PROC ?ACT))))
2001-11-30 13:34:35.0
IntentionalProcessis disjoint from NonintentionalProcess2001-11-30 13:34:31.0
Processis first domain of agent2001-11-30 13:35:04.0
is first domain of capability2001-11-30 13:35:04.0
is first domain of causes2001-11-30 13:35:04.0
is first domain of destination2001-11-30 13:35:04.0
is first domain of direction2001-11-30 13:35:04.0
is first domain of effector2001-11-30 13:35:04.0
is first domain of experiencer2001-11-30 13:35:04.0
is first domain of frequency2001-11-30 13:35:04.0
is first domain of hasSkill2001-11-30 13:35:04.0
is first domain of holdsObligation2001-11-30 13:35:04.0
is first domain of holdsRight2001-11-30 13:35:04.0
is first domain of inhibits2001-11-30 13:35:04.0
is first domain of instrument2001-11-30 13:35:04.0
is first domain of manner2001-11-30 13:35:04.0
is first domain of origin2001-11-30 13:35:04.0
is first domain of patient2001-11-30 13:35:04.0
is first domain of precondition2001-11-30 13:35:04.0
is first domain of prevents2001-11-30 13:35:04.0
is first domain of realization2001-11-30 13:35:04.0
is first domain of resource2001-11-30 13:35:04.0
is first domain of result2001-11-30 13:35:04.0
is first domain of subProcess2001-11-30 13:35:04.0
is second domain of causes2001-11-30 13:35:04.0
is second domain of inhibits2001-11-30 13:35:04.0
is second domain of precondition2001-11-30 13:35:04.0
is second domain of prevents2001-11-30 13:35:04.0
is second domain of subProcess2001-11-30 13:35:04.0

Next LearningDeducing    UpLearning