Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  Learning

 Sigma KEE - Learning
Learning(learning)absorb, accommodation, acculturation, acquire, acquisition, alternate, appreciated, apprehended, apprentice, ascertain, assimilate, assimilation, attain, audio_lingual_acquisition, audit, beat_in, bone, bone_up, brainwash, breakthrough, breeding, bump, carry-over, catch_up, chance, chance_on, chance_upon, come_across, come_upon, committal_to_memory, comprehended, conclusion, cram, decision, determination, determine, determined, develop, developmental_learning, diagnosing, diagnosis, digestion, din, discover, discovery, disproof, drill, drill_in, drum, echo_sounding...

appearance as argument number 1
-------------------------


(subclass Learning IntentionalPsychologicalProcess) Merge.kif 12215-12215 Learning is a subclass of intentional psychological process
(documentation Learning EnglishLanguage "The Class of Processes which relate to the acquisition of information.") Merge.kif 12216-12217 Learning is a subclass of intentional psychological process

appearance as argument number 2
-------------------------


(subclass Memorizing Learning) Mid-level-ontology.kif 20153-20153 Memorizing is a subclass of learning
(termFormat EnglishLanguage Learning "learning") english_format.kif 1509-1509 Memorizing is a subclass of learning

antecedent
-------------------------


(=>
    (and
        (instance ?LEARN Learning)
        (agent ?LEARN ?AGENT))
    (instance ?AGENT CognitiveAgent))		 Merge.kif 12219-12223 If X is an instance of learning and Y is an agent of X, then Y is an instance of cognitive agent
(=>
    (and
        (instance ?LEARN Learning)
        (agent ?LEARN ?AGENT)
        (containsFormula ?LEARN ?FORM))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEARN))
            (not
                (knows ?AGENT ?FORM)))
        (holdsDuring
            (EndFn
                (WhenFn ?LEARN))
            (knows ?AGENT ?FORM))))		 Merge.kif 12225-12239 If X is an instance of learning, Y is an agent of X, and X contains the formula Z, then Y doesn't know Z holds during the beginning of the time of existence of X and Y knows Z holds during the end of the time of existence of X

consequent
-------------------------


(=>
    (and
        (instance ?EDUCATION EducationalProcess)
        (patient ?EDUCATION ?PERSON))
    (hasPurpose ?EDUCATION
        (exists (?LEARN)
            (and
                (instance ?LEARN Learning)
                (patient ?LEARN ?PERSON)))))		 Merge.kif 11907-11915 If X is an instance of educational process and Y is a patient of X, then X has the purpose there exists Z such that Z is an instance of learning and Y is a patient of Z
(=>
    (hasExpertise ?PERSON ?FIELD)
    (exists (?LEARN ?SPECIALITY)
        (and
            (instance ?LEARN Learning)
            (agent ?LEARN ?PERSON)
            (instance ?SPECIALITY ?FIELD)
            (realization ?LEARN ?SPECIALITY))))		 Mid-level-ontology.kif 23559-23566 If X has an expertise in Y, then there exist Z, W such that Z is an instance of learning, Y is an agent of Z, W is an instance of X, and Z expresses the content of W
(=>
    (instance ?X SchoolBuilding)
    (exists (?L ?P)
        (and
            (instance ?L Learning)
            (patient ?L ?P)
            (attribute ?P Student)
            (eventLocated ?L ?X))))		 Mid-level-ontology.kif 24770-24777 If X is an instance of school building, then there exist Y, Z such that Y is an instance of learning, Z is a patient of Y, student is an attribute of Z, and Y is located at X
(=>
    (and
        (instance ?FID ForeignInternalDefense)
        (agent ?FID ?MIL)
        (experiencer ?FID ?HN))
    (hasPurpose ?FID
        (exists (?ORG ?LEARNING)
            (and
                (instance ?LEARNING Learning)
                (experiencer ?LEARNING ?ORG)
                (agent ?LEARNING ?MIL)
                (or
                    (militaryOfArea ?ORG ?HN)
                    (and
                        (instance ?ORG MilitaryForce)
                        (located ?ORG ?HN)))))))		 MilitaryProcesses.kif 1983-1998 If X is an instance of foreign internal defense, Y is an agent of X, and Z experiences X, then X has the purpose there exist W, V such that V is an instance of learning, W experiences V, Y is an agent of V, Z is a military of area of W or W is an instance of military force, and W is located at Z
(=>
    (instance ?CLASS LearningClass)
    (exists (?MEET ?LEARN)
        (and
            (instance ?MEET LearningMeeting)
            (instance ?LEARN Learning))))		 Offers.kif 37-42 If X is an instance of LearningClass, then there exist Y, Z such that Y is an instance of LearningMeeting, and Z is an instance of learning
(=>
    (holdsDuring ?T
        (attribute ?A Curiosity))
    (exists (?P)
        (and
            (instance ?P Physical)
            (desires ?A
                (exists (?L)
                    (and
                        (instance ?L Learning)
                        (patient ?L ?P)
                        (agent ?L ?A)
                        (during ?T
                            (WhenFn ?L))))))))		 emotion.kif 1768-1781 If intrigued is an attribute of X holds during Y, then there exists Z such that Z is an instance of physical, X desires there exists W such that W is an instance of learning, Z is a patient of W, X is an agent of W, and Y takes place during the time of existence of W


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners