DeletingAnAccount |
appearance as argument number 1 |
(documentation DeletingAnAccount EnglishLanguage "Removing all the data from an account so that it no longer exists.") | ComputingBrands.kif 4562-4563 | |
(subclass DeletingAnAccount DeletingData) | ComputingBrands.kif 4561-4561 | DeletingAnAccount è una sottoclasse di DeletingData |
appearance as argument number 2 |
(termFormat EnglishLanguage DeletingAnAccount "deleting an account") | ComputingBrands.kif 4564-4564 |
antecedent |
(=> (and (instance ?D DeletingAnAccount) (instance ?AC Account) (holdsDuring (ImmediatePastFn (WhenFn ?D)) (hasAccount ?A ?AC)) (patient ?D ?AC) (agent ?D ?A)) (holdsDuring (ImmediateFutureFn (WhenFn ?D)) (not (hasAccount ?A ?AC)))) |
ComputingBrands.kif 4566-4576 |
|