| 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 2035-2038 | |
| (subclass DataSaving ComputerProcess) | QoSontology.kif 2034-2034 |
| appearance as argument number 2 |
|
|
| (termFormat ChineseLanguage DataSaving "数据保存") | domainEnglishFormat.kif 18597-18597 | |
| (termFormat ChineseTraditionalLanguage DataSaving "數據保存") | domainEnglishFormat.kif 18596-18596 | |
| (termFormat EnglishLanguage DataSaving "data saving") | domainEnglishFormat.kif 18595-18595 |
| 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 2045-2050 | |
| (=> (instance ?Save DataSaving) (exists (?Data) (dataProcessed ?Save ?Data))) |
QoSontology.kif 2040-2043 |
| consequent |
|
|
| (=> (and (processAborted ?Abort ?Process) (dataProcessed ?Process ?Data)) (not (exists (?Save) (and (instance ?Save DataSaving) (dataProcessed ?Save ?Data))))) |
QoSontology.kif 2024-2032 |
|
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