| Forgetting | |
| appearance as argument number 1 |
|
|
| (documentation Forgetting EnglishLanguage "The PsychologicalProcess whereby one at one time knows something and then no longer does.") | ComputingBrands.kif 4442-4443 | |
| (subclass Forgetting PsychologicalProcess) | ComputingBrands.kif 4441-4441 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Forgetting "forgetting") | ComputingBrands.kif 4444-4444 |
| 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 4446-4456 |
|
|
|