| Forgetting(forgetting) | | blank_out, block, bury, draw_a_blank, forget, leave, lose, slip, slip_one's_mind, unlearn |
| appearance as argument number 1 |
|
|
| (documentation Forgetting EnglishLanguage "The PsychologicalProcess whereby one at one time knows something and then no longer does.") | ComputingBrands.kif 4447-4448 | |
| (subclass Forgetting PsychologicalProcess) | ComputingBrands.kif 4446-4446 | Forgetting is a subclass of psychological process |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Forgetting "forgetting") | ComputingBrands.kif 4449-4449 |
| antecedent |
|
|
| (=> (and (instance ?F Forgetting) (experiencer ?F ?A)) (exists (?P) (and (holdsDuring (ImmediateFutureFn (WhenFn ?F)) (not (knows ?A ?P))) (holdsDuring (ImmediatePastFn (WhenFn ?F)) (knows ?A ?P))))) |
ComputingBrands.kif 4451-4461 |
|
|
|
|