| 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 12159-12161 | |
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12158-12158 | 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 | |
| No TPTP formula. May not be expressible in strict first order. | french_format.kif 831-831 | |
| No TPTP formula. May not be expressible in strict first order. | terms-hindi.txt 363-363 | |
| No TPTP formula. May not be expressible in strict first order. | terms-it.txt 366-366 | |
| No TPTP formula. May not be expressible in strict first order. | japanese_format.kif 2515-2515 | |
| No TPTP formula. May not be expressible in strict first order. | portuguese_format.kif 783-783 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cb.txt 368-368 | |
| No TPTP formula. May not be expressible in strict first order. | terms-cz.txt 402-402 | |
| No TPTP formula. May not be expressible in strict first order. | relations-ro.kif 852-852 | |
| No TPTP formula. May not be expressible in strict first order. | terms-tg.txt 367-367 |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Merge.kif 12163-12172 |
|
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 6834-6840 |
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 848-853 |
|
| statement |
|
|
| No TPTP formula. May not be expressible in strict first order. | Medicine.kif 2033-2033 | Memory loss is a subclass of impairment in remembering |
|
|
|