ActivatingADeactivatedAccount |
appearance as argument number 1 |
(documentation ActivatingADeactivatedAccount EnglishLanguage "A UserAccount is made active from a deactivated state.") | ComputingBrands.kif 4478-4479 | |
(subclass ActivatingADeactivatedAccount DataEntry) | ComputingBrands.kif 4477-4477 | ActivatingADeactivatedAccount è una sottoclasse di DataEntry |
appearance as argument number 2 |
(termFormat EnglishLanguage ActivatingADeactivatedAccount "activating a deactivated account") | ComputingBrands.kif 4480-4480 |
antecedent |
(=> (and (instance ?ACT ActivatingADeactivatedAccount) (instance ?AC UserAccount) (patient ?ACT ?AC)) (and (holdsDuring (ImmediatePastFn (WhenFn ?ACT)) (attribute ?AC AccountDeactivated)) (holdsDuring (ImmediateFutureFn (WhenFn ?ACT)) (attribute ?AC AccountActive)))) |
ComputingBrands.kif 4482-4491 |
|