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


KB Term:  Term intersection
English Word: 

Sigma KEE - DataSaving
DataSaving(data saving)

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


(subclass DataSaving ComputerProcess) QoSontology.kif 2027-2027 Data saving is a subclass of computer process
(documentation DataSaving EnglishLanguage "A process of copying the document, record or image being worked on onto a storage medium. Saving updates the file by writing the data that currently resides in memory (RAM) onto disk or tape. Most applications prompt the user to save data upon exiting.") QoSontology.kif 2028-2031 Data saving is a subclass of computer process

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


(termFormat EnglishLanguage DataSaving "data saving") domainEnglishFormat.kif 18582-18582
(termFormat ChineseTraditionalLanguage DataSaving "數據保存") domainEnglishFormat.kif 18583-18583
(termFormat ChineseLanguage DataSaving "数据保存") domainEnglishFormat.kif 18584-18584

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


(=>
    (and
        (instance ?DSAVE DataSaving)
        (resource ?DSAVE ?RES)
        (instance ?RES ElectronicDataStorageDevice))
    (exists (?DEV)
        (and
            (instance ?DEV ElectricDevice)
            (instrument ?DSAVE ?DEV)
            (holdsDuring
                (WhenFn ?DSAVE)
                (connected ?RES ?DEV)))))		 Media.kif 684-694 If X is an instance of data saving, Y is a resource for X, and Y is an instance of electronic data storage device, then there exists Z such that Z is an instance of electric device, Z is an instrument for X, and Y is connected to Z holds during the time of existence of X
(=>
    (instance ?Save DataSaving)
    (exists (?Data)
        (dataProcessed ?Save ?Data)))		 QoSontology.kif 2033-2036 If X is an instance of data saving, then there exists Y such that Y is processed by X
(=>
    (instance ?DSAVE DataSaving)
    (exists (?DSTORE)
        (and
            (instance ?DSTORE DataStorageDevice)
            (resource ?DSAVE ?DSTORE))))		 QoSontology.kif 2038-2043 If X is an instance of data saving, then there exists Y such that Y is an instance of data storage device and Y is a resource for X

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


(=>
    (and
        (processAborted ?Abort ?Process)
        (dataProcessed ?Process ?Data))
    (not
        (exists (?Save)
            (and
                (instance ?Save DataSaving)
                (dataProcessed ?Save ?Data)))))		 QoSontology.kif 2017-2025 If X is a process aborted of Y and Z is processed by X, then there doesn't exist W such that W is an instance of data saving and Z is processed by W


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