| 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 |
| 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 |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners