TreeView Knowledge Base Browser

appearance as argument number 1

(subclass RestoringData ComputerProcess)	QoSontology.kif 126-126	Restore is a subclass of computer process
(documentation RestoringData EnglishLanguage "A ComputerProcess that makes DigitalData that has been deleted, again accessible for other ComputerProcess")	QoSontology.kif 127-127	Restore is a subclass of computer process

appearance as argument number 2

(termFormat EnglishLanguage RestoringData "restore")

QoSontology.kif 128-128

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 130-146

If X is an instance of restore, then All of the following hold: (1) there exist Y, Z,, , W (2) V such that Y is an instance of deleting data (3) W is an instance of digital data (4) W is a patient of X (5) W is a patient of Y (6) the time of existence of Y happens earlier than the time of existence of X (7) Z is an instance of computer process (8) Z is an instance of V (9) W is capable of doing V as a patient holds during immediately after the time of existence of X

consequent

(=>
    (instance ?X DeletingData)
    (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 107-123

If X is an instance of deleting data, then All of the following hold: (1) there exists Y such that Y is an instance of digital data (2) Y is a patient of X (3) there don't exist Z (4) W such that Z is an instance of computer process (5) Z is an instance of W (6) Z is not an instance of restore (7) Y is capable of doing W as a patient holds during immediately after the time of existence of X

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: