Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

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...

VerbNet: learn-14|assimilate, learn-14|learn, captain-29.8|understudy, conjecture-29.5|determine, learn-14|assimilate, sight-30.2|discover, learn-14|cram, learn-14|cram, sight-30.2|discover, sight-30.2|discover, sight-30.2|discover, sight-30.2|discover, learn-14|cram, conjecture-29.5|determine, sight-30.2|discover, learn-14|cram, amuse-31.1|engross, amuse-31.1|engross, rehearse-26.8|exercise, sight-30.2|discover, hunt-35.1|feel, obtain-13.5.2|regain, conjecture-29.5|determine, see-30.1|hear, learn-14|cram, see-30.1|hear, see-30.1|hear, learn-14|cram, sight-30.2|discover, see-30.1|hear, rummage-35.5|listen, learn-14|study, learn-14|assimilate, learn-14|learn, learn-14|study, sight-30.2|discover, rummage-35.5|listen, rummage-35.5|listen, learn-14|cram, amuse-31.1|engross, see-30.1|hear, rehearse-26.8|exercise, rehearse-26.8|exercise, learn-14|study, obtain-13.5.2|regain, discover-84|relearn, see-30.1|hear, sight-30.2|discover, learn-14|study, learn-14|cram, ...


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


(documentation Learning ChineseLanguage "这是和获取信息有关 ProcessClass。") chinese_format.kif 3111-3111
(documentation Learning EnglishLanguage "The Class of Processes which relate to the acquisition of information.") Merge.kif 10980-10981
(subclass Learning IntentionalPsychologicalProcess) Merge.kif 10979-10979 Learning is a subclass of intentional psychological process

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


(subclass Memorizing Learning) Mid-level-ontology.kif 15905-15905 Memorizing is a subclass of learning
(termFormat ChineseLanguage Learning "学习") chinese_format.kif 1144-1144 "学习" is the printable form of learning in ChineseLanguage
(termFormat EnglishLanguage Learning "learning") english_format.kif 1510-1510 "learning" is the printable form of learning in english language

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


(=>
    (and
        (instance ?LEARN Learning)
        (agent ?LEARN ?AGENT)
        (patient ?LEARN ?PROP))
    (and
        (holdsDuring
            (BeginFn
                (WhenFn ?LEARN))
            (not
                (knows ?AGENT ?PROP)))
        (holdsDuring
            (EndFn
                (WhenFn ?LEARN))
            (knows ?AGENT ?PROP))))
Merge.kif 10989-10996
(=>
    (and
        (instance ?LEARN Learning)
        (agent ?LEARN ?AGENT))
    (instance ?AGENT CognitiveAgent))
Merge.kif 10983-10987

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


(=>
    (and
        (instance ?DISCOVER Discovering)
        (patient ?DISCOVER ?OBJ)
        (holdsDuring
            (WhenFn ?DISCOVER)
            (located ?OBJ ?PLACE)))
    (exists (?LEARN)
        (and
            (instance ?LEARN Learning)
            (subProcess ?LEARN ?DISCOVER)
            (patient ?LEARN
                (located ?OBJ ?PLACE)))))
Merge.kif 11013-11022
(=>
    (and
        (instance ?EDUCATION EducationalProcess)
        (patient ?EDUCATION ?PERSON))
    (hasPurpose ?EDUCATION
        (exists (?LEARN)
            (and
                (instance ?LEARN Learning)
                (patient ?LEARN ?PERSON)))))
Merge.kif 10697-10705
(=>
    (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 1941-1956
(=>
    (hasExpertise ?PERSON ?FIELD)
    (exists (?LEARN)
        (and
            (instance ?LEARN Learning)
            (agent ?LEARN ?PERSON)
            (realization ?LEARN ?FIELD))))
Mid-level-ontology.kif 18909-18915


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners