Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DataSaving
DataSaving(data saving)

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


s__documentation(s__DataSaving,s__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 1910-1913
s__instance(s__DataSaving,s__SetOrClass)

s__subclass(s__DataSaving,s__ComputerProcess)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 1909-1909 Data saving is a subclass of computer process

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


s__termFormat(s__ChineseLanguage,s__DataSaving,'"数据保存"')

domainEnglishFormat.kif 18573-18573
s__termFormat(s__ChineseTraditionalLanguage,s__DataSaving,'"數據保存"')

domainEnglishFormat.kif 18572-18572
s__termFormat(s__EnglishLanguage,s__DataSaving,'"data saving"')

domainEnglishFormat.kif 18571-18571

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


No TPTP formula. May not be expressible in strict first order. Media.kif 690-700
( ! [V__DSAVE] :
   ((s__instance(V__DSAVE,s__DataSaving) =>
       (( ? [V__DSTORE] :
           ((s__instance(V__DSTORE,s__DataStorageDevice) &
               s__resource(V__DSAVE,V__DSTORE))))))
   )
)

QoSontology.kif 1920-1925
( ! [V__Save] :
   ((s__instance(V__Save,s__DataSaving) =>
       (( ? [V__Data] :
           ((s__instance(V__Data,s__DigitalData) &
               s__dataProcessed(V__Save,V__Data))))))
   )
)

QoSontology.kif 1915-1918

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


( ! [V__Data,V__Abort,V__Process] :
   (((s__instance(V__Data,s__DigitalData) &
         s__instance(V__Abort,s__Abort) &
         s__instance(V__Process,s__ComputerProcess))
       =>
       (((s__processAborted(V__Abort,V__Process)
           &
           s__dataProcessed(V__Process,V__Data))
       =>
       (~(( ? [V__Save] :
             ((s__instance(V__Save,s__DataSaving) &
                 s__dataProcessed(V__Save,V__Data)))))))))
)
)

QoSontology.kif 1899-1907


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