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 | DeletingData est une sous-classe de ComputerProcess |
appearance as argument number 2 |
(subclass DeletingAnAccount DeletingData) | ComputingBrands.kif 4561-4561 | DeletingAnAccount est une sous-classe de DeletingData |
(termFormat EnglishLanguage DeletingData "deleting data") | domainEnglishFormat.kif 64755-64755 |
antecedent |
(=> (instance ?X DeletingData) (and (exists (?DATA) (and (instance ?DATA DigitalData) (patient ?X ?DATA))) (not (exists (?PROC ?CLASS) (and (instance ?PROC ComputerProcess) (instance ?PROC ?CLASS) (not (instance ?PROC RestoringData)) (holdsDuring (ImmediateFutureFn (WhenFn ?X)) (capability ?CLASS patient ?DATA))))))) |
QoSontology.kif 112-129 |
|
consequent |