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

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 12075-12076
(subclass Learning IntentionalPsychologicalProcess) Merge.kif 12074-12074 Learning is a subclass of intentional psychological process

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


(subclass Memorizing Learning) Mid-level-ontology.kif 19809-19809 Memorizing is a subclass of learning
(termFormat ChineseLanguage Learning "学习") chinese_format.kif 1144-1144 Memorizing is a subclass of learning
(termFormat EnglishLanguage Learning "learning") english_format.kif 1505-1505 Memorizing is a subclass of learning
(termFormat FrenchLanguage Learning "apprendre") french_format.kif 822-822 Memorizing is a subclass of learning
(termFormat Hindi Learning "adhyayana") terms-hindi.txt 354-354 Memorizing is a subclass of learning
(termFormat ItalianLanguage Learning "Apprendere") terms-it.txt 357-357 Memorizing is a subclass of learning
(termFormat JapaneseLanguage Learning "学習") japanese_format.kif 2506-2506 Memorizing is a subclass of learning
(termFormat PortugueseLanguage Learning "Aprender") portuguese_format.kif 774-774 Memorizing is a subclass of learning
(termFormat cb Learning "pagkahibalo") terms-cb.txt 359-359 Memorizing is a subclass of learning
(termFormat cz Learning "learning") terms-cz.txt 393-393 Memorizing is a subclass of learning
(termFormat de Learning "Lernen") terms-de.txt 652-652 Memorizing is a subclass of learning
(termFormat ro Learning "învãþare") relations-ro.kif 843-843 Memorizing is a subclass of learning
(termFormat tg Learning "nagaaral") terms-tg.txt 358-358 Memorizing is a subclass of learning

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 12084-12091
(=>
    (and
        (instance ?LEARN Learning)
        (agent ?LEARN ?AGENT))
    (instance ?AGENT CognitiveAgent))
Merge.kif 12078-12082

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 12108-12117
(=>
    (and
        (instance ?EDUCATION EducationalProcess)
        (patient ?EDUCATION ?PERSON))
    (hasPurpose ?EDUCATION
        (exists (?LEARN)
            (and
                (instance ?LEARN Learning)
                (patient ?LEARN ?PERSON)))))
Merge.kif 11766-11774
(=>
    (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 1960-1975
(=>
    (hasExpertise ?PERSON ?FIELD)
    (exists (?LEARN ?SPECIALITY)
        (and
            (instance ?LEARN Learning)
            (agent ?LEARN ?PERSON)
            (instance ?SPECIALITY ?FIELD)
            (realization ?LEARN ?SPECIALITY))))
Mid-level-ontology.kif 22988-22995
(=>
    (instance ?X SchoolBuilding)
    (exists (?L ?P)
        (and
            (instance ?L Learning)
            (patient ?L ?P)
            (attribute ?P Student)
            (eventLocated ?L ?X))))
Mid-level-ontology.kif 24153-24160


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 3.0 is open source software produced by Articulate Software and its partners