Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| 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... |
| appearance as argument number 1 |
|
|
| (subclass Remembering PsychologicalProcess) | Merge.kif 12444-12444 | Remembering is a subclass of psychological process |
| (documentation Remembering EnglishLanguage "The Class of PsychologicalProcesses which involve the recollection of prior experiences and/ or of knowledge which was previously acquired.") | Merge.kif 12445-12447 | Remembering is a subclass of psychological process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Remembering "remembering") | english_format.kif 1527-1527 |
| antecedent |
|
|
| (=> (and (instance ?REMEMBER Remembering) (containsFormula ?REMEMBER ?FORMULA)) (exists (?TIME) (and (holdsDuring ?TIME ?FORMULA) (or (before ?TIME (WhenFn ?REMEMBER)) (earlier ?TIME (WhenFn ?REMEMBER)))))) |
Merge.kif 12449-12458 | If X is an instance of remembering and X contains the formula Y, then there exists Z such that Y holds during Z and Z happens before the time of existence of X or Z happens earlier than the time of existence of X |
| consequent |
|
|
| (=> (instance ?REMIND Reminding) (exists (?REMEMBER) (and (instance ?REMEMBER Remembering) (causes ?REMIND ?REMEMBER)))) |
Mid-level-ontology.kif 837-842 | If X is an instance of reminding, then there exists Y such that Y is an instance of remembering and X causes Y |
| (=> (instance ?M Monument) (hasPurpose ?M (exists (?R) (and (instance ?R Remembering) (instrument ?R ?M))))) |
Mid-level-ontology.kif 8150-8156 | If X is an instance of monument, then X has the purpose there exists Y such that Y is an instance of remembering and X is an instrument for Y |
| statement |
|
|
| (subclass MemoryLoss (ImpairmentFn Remembering)) |
Medicine.kif 2020-2020 | Memory loss is a subclass of impairment in remembering |
|