Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - DeletingData
DeletingData(deleting data)

appearance as argument number 1
-------------------------


(subclass DeletingData ComputerProcess) QoSontology.kif 104-104 Deleting data is a subclass of computer process
(documentation DeletingData EnglishLanguage "A ComputerProcess that makes some DigitalData unusable for any other ComputerProcess.") QoSontology.kif 105-105 Deleting data is a subclass of computer process

appearance as argument number 2
-------------------------


(subclass DeletingAnAccount DeletingData) ComputingBrands.kif 4472-4472 Deleting an account is a subclass of deleting data
(termFormat EnglishLanguage DeletingData "deleting data") domainEnglishFormat.kif 64756-64756 Deleting an account is a subclass of deleting data

antecedent
-------------------------


(=>
    (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

consequent
-------------------------


(=>
    (instance ?X WriteOnceDataStorage)
    (exists (?WRITE1 ?DATA1)
        (and
            (modalAttribute
                (and
                    (instance ?WRITE1 Writing)
                    (patient ?WRITE1 ?X)
                    (patient ?WRITE1 ?DATA1)
                    (holdsDuring
                        (ImmediateFutureFn
                            (WhenFn ?WRITE1))
                        (dataStored ?DATA1 ?X))) Possibility)
            (not
                (modalAttribute
                    (exists (?WRITE2 ?DATA2)
                        (and
                            (dataStored ?DATA2 ?X)
                            (or
                                (instance ?WRITE2 ContentDevelopment)
                                (instance ?WRITE2 DeletingData))
                            (not
                                (equal ?WRITE1 ?WRITE2))
                            (patient ?WRITE2 ?DATA2))) Possibility)))))		 Media.kif 707-730 If X is an instance of write once data storage, then All of the following hold: (1) there exist Y (2) Z such that the statement Y is an instance of writing (3) X is a patient of Y (4) Z is a patient of Y (5) X is stored on Z holds during immediately after the time of existence of Y has the modal force of possibility (6) the statement there don't exist W (7) V such that X is stored on V (8) W is an instance of content development or W is an instance of deleting data (9) equal Y (10) W (11) V is a patient of W doesn't have the modal force of possibility
(=>
    (instance ?X RewritableDataStorage)
    (exists (?WRITE1 ?DATA1)
        (and
            (modalAttribute
                (and
                    (instance ?WRITE1 Writing)
                    (patient ?WRITE1 ?X)
                    (patient ?WRITE1 ?DATA1)
                    (holdsDuring
                        (ImmediateFutureFn
                            (WhenFn ?WRITE1))
                        (dataStored ?DATA1 ?X))) Possibility)
            (modalAttribute
                (exists (?WRITE2 ?DATA2)
                    (and
                        (dataStored ?DATA2 ?X)
                        (or
                            (instance ?WRITE2 ContentDevelopment)
                            (instance ?WRITE2 DeletingData))
                        (not
                            (equal ?WRITE1 ?WRITE2))
                        (patient ?WRITE2 ?DATA2))) Possibility))))		 Media.kif 737-759 If X is an instance of rewritable data storage, then All of the following hold: (1) there exist Y (2) Z such that the statement Y is an instance of writing (3) X is a patient of Y (4) Z is a patient of Y (5) X is stored on Z holds during immediately after the time of existence of Y has the modal force of possibility (6) the statement there exist W (7) V such that X is stored on V (8) W is an instance of content development or W is an instance of deleting data (9) equal Y (10) W (11) V is a patient of W has the modal force of possibility
(=>
    (and
        (instance ?X ReadOnlyMemoryDataStorage)
        (instance ?FABRICATION Manufacture)
        (result ?FABRICATION ?X))
    (not
        (modalAttribute
            (exists (?WRITE1 ?DATA1 ?WRITE2)
                (and
                    (or
                        (instance ?WRITE2 ContentDevelopment)
                        (instance ?WRITE2 DeletingData))
                    (earlier
                        (WhenFn ?FABRICATION)
                        (WhenFn ?WRITE1))
                    (patient ?WRITE1 ?X)
                    (patient ?WRITE1 ?DATA1)
                    (holdsDuring
                        (ImmediateFutureFn
                            (WhenFn ?WRITE1))
                        (dataStored ?DATA1 ?X)))) Possibility)))		 Media.kif 766-786 If X is an instance of read only memory data storage, Y is an instance of manufacture, and X is a result of Y, then the statement there don't exist Z, W, V such that V is an instance of content development or V is an instance of deleting data, the time of existence of Y happens earlier than the time of existence of Z, X is a patient of Z, W is a patient of Z, and X is stored on W holds during immediately after the time of existence of Z doesn't have the modal force of possibility
(=>
    (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


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners