|
|
   RestoringData
|
|
|
| appearance as argument number 1 |
|
|
| (documentation RestoringData EnglishLanguage "A ComputerProcess that makes DigitalData that has been deleted, again accessible for other ComputerProcess") | QoSontology.kif 133-133 | |
| (subclass RestoringData ComputerProcess) | QoSontology.kif 132-132 | RestoringData est une sous-classe de ComputerProcess |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage RestoringData "restore") | ComputingBrands.kif 3512-3512 |
| antecedent |
|
|
| (=> (instance ?X RestoringData) (exists (?DEL ?PROC ?DATA ?CLASS) (and (instance ?DEL DeletingData) (instance ?DATA DigitalData) (patient ?X ?DATA) (patient ?DEL ?DATA) (earlier (WhenFn ?DEL) (WhenFn ?X)) (instance ?PROC ComputerProcess) (instance ?PROC ?CLASS) (holdsDuring (ImmediateFutureFn (WhenFn ?X)) (capability ?CLASS patient ?DATA))))) |
QoSontology.kif 135-151 |
|
| consequent |
|
|
| (=> (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 |
|
|
|
|