| 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 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 3139-3140 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11929-11931 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11928-11928 | Remembering is a subclass of psychological process |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | chinese_format.kif 1153-1153 | |
| No TPTP formula. May not be expressible in strict first order. | english_format.kif 1523-1523 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 11933-11942 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6494-6500 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 809-814 |
|
|
|
|