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 18499-18499 termFormat ChineseLanguage, dataProcessed and "数据已处理"
(termFormat ChineseTraditionalLanguage dataProcessed "數據已處理") domainEnglishFormat.kif 18498-18498 termFormat ChineseTraditionalLanguage, dataProcessed and "數據已處理"
(termFormat EnglishLanguage dataProcessed "data processed") domainEnglishFormat.kif 18497-18497 termFormat EnglishLanguage, dataProcessed and "data processed"

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