DataSaving
|
|
appearance as argument number 1 |
(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 1904-1907 | |
(subclass DataSaving ComputerProcess) | QoSontology.kif 1903-1903 |
appearance as argument number 2 |
(termFormat ChineseLanguage DataSaving "数据保存") | domainEnglishFormat.kif 18582-18582 | |
(termFormat ChineseTraditionalLanguage DataSaving "數據保存") | domainEnglishFormat.kif 18581-18581 | |
(termFormat EnglishLanguage DataSaving "data saving") | domainEnglishFormat.kif 18580-18580 |
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 690-700 | |
(=> (instance ?DSAVE DataSaving) (exists (?DSTORE) (and (instance ?DSTORE DataStorageDevice) (resource ?DSAVE ?DSTORE)))) |
QoSontology.kif 1914-1919 | |
(=> (instance ?Save DataSaving) (exists (?Data) (dataProcessed ?Save ?Data))) |
QoSontology.kif 1909-1912 |
consequent |
(=> (and (processAborted ?Abort ?Process) (dataProcessed ?Process ?Data)) (not (exists (?Save) (and (instance ?Save DataSaving) (dataProcessed ?Save ?Data))))) |
QoSontology.kif 1893-1901 |