DeletingData |
appearance as argument number 1 |
![]() |
(documentation DeletingData EnglishLanguage "A ComputerProcess that makes some DigitalData unusable for any other ComputerProcess.") | QoSontology.kif 110-110 | |
(subclass DeletingData ComputerProcess) | QoSontology.kif 109-109 |
appearance as argument number 2 |
![]() |
(subclass DeletingAnAccount DeletingData) | ComputingBrands.kif 4481-4481 |
antecedent |
![]() |
(=> (instance ?X DeletingData) (and (exists (?DATA) (and (instance ?DATA DigitalData) (patient ?X ?DATA))) (not (exists (?PROC) (and (instance ?PROC ComputerProcess) (not (instance ?PROC RestoringData)) (holdsDuring (ImmediateFutureFn (WhenFn ?X)) (capability ?PROC patient ?DATA))))))) |
QoSontology.kif 112-128 |
consequent |
![]() |
![]() |
![]() |