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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - dataProcessed
dataProcessed

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


(documentation dataProcessed EnglishLanguage "The data being processed during a ComputerProcess.") QoSontology.kif 1885-1886
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 1883-1883 domain dataProcessed, 1 and ComputerProcess
(domain dataProcessed 2 DigitalData) QoSontology.kif 1884-1884 domain dataProcessed, 2 and DigitalData
(instance dataProcessed BinaryPredicate) QoSontology.kif 1882-1882 instance dataProcessed and BinaryPredicate
(instance dataProcessed CaseRole) QoSontology.kif 1881-1881 instance dataProcessed and CaseRole
(subrelation dataProcessed patient) QoSontology.kif 1880-1880 subrelation dataProcessed and patient

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


(format ChineseLanguage dataProcessed "%2 是由 %1 processed ") domainEnglishFormat.kif 3159-3159
(format ChineseTraditionalLanguage dataProcessed "%2 是由 %1 processed ") domainEnglishFormat.kif 3158-3158
(format EnglishLanguage dataProcessed "%2 is processed by %1") domainEnglishFormat.kif 3157-3157
(termFormat ChineseLanguage dataProcessed "数据已处理") domainEnglishFormat.kif 18493-18493
(termFormat ChineseTraditionalLanguage dataProcessed "數據已處理") domainEnglishFormat.kif 18492-18492
(termFormat EnglishLanguage dataProcessed "data processed") domainEnglishFormat.kif 18491-18491

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


(=>
    (and
        (instance ?C ComputerBackingUp)
        (dataProcessed ?C ?DD)
        (instance ?DD DigitalData)
        (agent ?C ?A))
    (desires ?A
        (exists (?T)
            (and
                (earlier
                    (WhenFn ?C) ?T)
                (holdsDuring
                    (?T)
                    (exists (?PROC)
                        (and
                            (instance ?PROC ComputerProcess)
                            (capability ?PROC dataProcessed ?DD))))))))
ComputingBrands.kif 3490-3504
(=>
    (and
        (instance ?Compression DataCompression)
        (dataProcessed ?Compression ?Data)
        (holdsDuring
            (ImmediatePastFn
                (WhenFn ?Compression))
            (memorySize ?Data
                (MeasureFn ?Memory ?Measure)))
        (holdsDuring
            (ImmediateFutureFn
                (WhenFn ?Compression))
            (memorySize ?Data
                (MeasureFn ?NewMemory ?Measure))))
    (lessThan ?NewMemory ?Memory))
QoSontology.kif 1932-1946
(=>
    (and
        (instance ?I SoftwareInstallation)
        (dataProcessed ?I ?P)
        (instance ?P ComputerProgram)
        (destination ?I ?C))
    (hasPurpose ?I
        (exists (?PROC)
            (computerRunning ?PROC ?C))))
ComputingBrands.kif 3585-3593
(=>
    (and
        (instance ?U SoftwareUnInstallation)
        (equal ?T2
            (WhenFn ?U))
        (dataProcessed ?U ?P)
        (instance ?P ComputerProgram)
        (located ?U ?C))
    (exists (?I ?T1)
        (and
            (instance ?I SoftwareInstallation)
            (equal ?T1
                (WhenFn ?I))
            (dataProcessed ?I ?P)
            (instance ?P ComputerProgram)
            (located ?I ?C)
            (earlier ?T1 ?T2))))
ComputingBrands.kif 3595-3609
(=>
    (and
        (processAborted ?Abort ?Process)
        (dataProcessed ?Process ?Data))
    (not
        (exists (?Save)
            (and
                (instance ?Save DataSaving)
                (dataProcessed ?Save ?Data)))))
QoSontology.kif 1899-1907

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


(=>
    (and
        (instance ?C ComputerBackingUp)
        (dataProcessed ?C ?DD)
        (instance ?DD DigitalData)
        (agent ?C ?A))
    (desires ?A
        (exists (?T)
            (and
                (earlier
                    (WhenFn ?C) ?T)
                (holdsDuring
                    (?T)
                    (exists (?PROC)
                        (and
                            (instance ?PROC ComputerProcess)
                            (capability ?PROC dataProcessed ?DD))))))))
ComputingBrands.kif 3490-3504
(=>
    (and
        (instance ?U SoftwareUnInstallation)
        (equal ?T2
            (WhenFn ?U))
        (dataProcessed ?U ?P)
        (instance ?P ComputerProgram)
        (located ?U ?C))
    (exists (?I ?T1)
        (and
            (instance ?I SoftwareInstallation)
            (equal ?T1
                (WhenFn ?I))
            (dataProcessed ?I ?P)
            (instance ?P ComputerProgram)
            (located ?I ?C)
            (earlier ?T1 ?T2))))
ComputingBrands.kif 3595-3609
(=>
    (and
        (processAborted ?Abort ?Process)
        (dataProcessed ?Process ?Data))
    (not
        (exists (?Save)
            (and
                (instance ?Save DataSaving)
                (dataProcessed ?Save ?Data)))))
QoSontology.kif 1899-1907
(=>
    (instance ?Save DataSaving)
    (exists (?Data)
        (dataProcessed ?Save ?Data)))
QoSontology.kif 1915-1918


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners