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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Remembering
Remembering(remembering)LTM, STM, agnise, agnize, bear_in_mind, call_back, call_up, come_to_mind, confabulation, disregarded, echo, episodic_memory, flashback, forgetfully, forgotten, go_down, have_down, identify, immediate_memory, jog, know, live_over, long-term_memory, look_back, memory, memory_image, mind, misremember, motor_memory, muscle_memory, personal_memory, place, realise, realize, recall, recognise, recognize, recollect, recollection, reconstruction, reconstructive_memory, regurgitation, relive, remember, remembering, reminisce, reminiscence, reminiscently, reproduction, reproductive_memory...

VerbNet: conjecture-29.5|recognize, conjecture-29.5|recognize, characterize-29.2|recollect, characterize-29.2|recollect, characterize-29.2|identify, conjecture-29.5|know, characterize-29.2|identify, conjecture-29.5|recognize, conjecture-29.5|recognize, conjecture-29.5|recognize, conjecture-29.5|recognize, characterize-29.2|recollect, characterize-29.2|recollect, characterize-29.2|recollect,


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


(documentation Remembering ChineseLanguage "这是 PsychologicalProcesses 的 Class,它涉及 回忆先前的经验和/ 或之前所获得的知识。") chinese_format.kif 3139-3140
(documentation Remembering EnglishLanguage "The Class of PsychologicalProcesses which involve the recollection of prior experiences and/ or of knowledge which was previously acquired.") Merge.kif 11292-11294
(subclass Remembering PsychologicalProcess) Merge.kif 11291-11291 Remembering is a subclass of psychological process

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


(termFormat ChineseLanguage Remembering "记住") chinese_format.kif 1153-1153
(termFormat EnglishLanguage Remembering "remembering") english_format.kif 1528-1528

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


(=>
    (and
        (instance ?REMEMBER Remembering)
        (patient ?REMEMBER ?FORMULA))
    (exists (?TIME)
        (and
            (holdsDuring ?TIME ?FORMULA)
            (or
                (before ?TIME
                    (WhenFn ?REMEMBER))
                (earlier ?TIME
                    (WhenFn ?REMEMBER))))))
Merge.kif 11296-11305

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


(=>
    (instance ?M Monument)
    (hasPurpose ?M
        (exists (?R)
            (and
                (instance ?R Remembering)
                (instrument ?R ?M)))))
Mid-level-ontology.kif 6473-6479
(=>
    (instance ?REMIND Reminding)
    (exists (?REMEMBER)
        (and
            (instance ?REMEMBER Remembering)
            (causes ?REMIND ?REMEMBER))))
Mid-level-ontology.kif 1236-1241


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