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 4447-4448 | |
(subclass Forgetting PsychologicalProcess) | ComputingBrands.kif 4446-4446 | 子類 Forgetting and PsychologicalProcess |
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 |