DeletingData - Sigma Knowledge base Browser

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	Deleting data is a subclass of computer process

appearance as argument number 2

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

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

If a process is an instance of deleting data,
then there exists an entity such that the entity is an instance of digital data and the entity is a patient of the process and there don't exist another entity and a class such that the other entity is an instance of computer process and the other entity is an instance of the class and the other entity is not an instance of restore and the entity is capable of doing the class as a patient holds during immediately after the time of existence of the process

consequent

(=> (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)) (stored ?DATA1 ?X)))) Possibility)))	Media.kif 768-788	If an entity is an instance of read only memory data storage and a process is an instance of manufacture and the entity is a result of the process, then the statement there exist another entity, a third entity and a fourth entity such that the fourth entity is an instance of content development or the fourth entity is an instance of deleting data and the time of existence of the process happens earlier than the time of existence of the other entity and the entity is a patient of the other entity and the third entity is a patient of the other entity and the third entity is stored on the entity holds during immediately after the time of existence of the other entity 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 135-151	If a process is an instance of restore, then there exist another process, an entity,, , another entity and a class such that the other process is an instance of deleting data and the other entity is an instance of digital data and the other entity is a patient of the process and the other entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process and the entity is an instance of computer process and the entity is an instance of the class and the other entity is capable of doing the class as a patient holds during immediately after the time of existence of the process
(=> (instance ?X RewritableDataStorage) (and (modalAttribute (exists (?WRITE1 ?DATA1) (and (instance ?WRITE1 Writing) (patient ?WRITE1 ?X) (patient ?WRITE1 ?DATA1) (holdsDuring (ImmediateFutureFn (WhenFn ?WRITE1)) (stored ?DATA1 ?X)))) Possibility) (modalAttribute (exists (?WRITE2 ?DATA2) (and (stored ?DATA2 ?X) (or (instance ?WRITE2 ContentDevelopment) (instance ?WRITE2 DeletingData)) (not (equal ?WRITE1 ?WRITE2)) (patient ?WRITE2 ?DATA2))) Possibility)))	Media.kif 741-763	If an entity is an instance of rewritable data storage, then the statement there exist another entity and a third entity such that the other entity is an instance of writing and the entity is a patient of the other entity and the third entity is a patient of the other entity and the third entity is stored on the entity holds during immediately after the time of existence of the other entity has the modal force of possibility and the statement there exist a fourth entity and a fifth entity such that the fifth entity is stored on the entity and the fourth entity is an instance of content development or the fourth entity is an instance of deleting data and the other entity is not equal to the fourth entity and the fifth entity is a patient of the fourth entity has the modal force of possibility
(=> (instance ?X WriteOnceDataStorage) (and (modalAttribute (exists (?WRITE1 ?DATA1) (and (instance ?WRITE1 Writing) (patient ?WRITE1 ?X) (patient ?WRITE1 ?DATA1) (holdsDuring (ImmediateFutureFn (WhenFn ?WRITE1)) (stored ?DATA1 ?X)))) Possibility) (not (modalAttribute (exists (?WRITE2 ?DATA2) (and (stored ?DATA2 ?X) (or (instance ?WRITE2 ContentDevelopment) (instance ?WRITE2 DeletingData)) (not (equal ?WRITE1 ?WRITE2)) (patient ?WRITE2 ?DATA2))) Possibility))))	Media.kif 713-736	If an entity is an instance of write once data storage, then the statement there exist another entity and a third entity such that the other entity is an instance of writing and the entity is a patient of the other entity and the third entity is a patient of the other entity and the third entity is stored on the entity holds during immediately after the time of existence of the other entity has the modal force of possibility and the statement there exist a fourth entity and a fifth entity such that the fifth entity is stored on the entity and the fourth entity is an instance of content development or the fourth entity is an instance of deleting data and the other entity is not equal to the fourth entity and the fifth entity is a patient of the fourth entity doesn't have the modal force of possibility

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

KB Term:			Term intersection

English Word: