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 1884-1885
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 1882-1882 数据已处理 的 1 数量 是 电脑程序instance
(domain dataProcessed 2 DigitalData) QoSontology.kif 1883-1883 数据已处理 的 2 数量 是 数字数据instance
(instance dataProcessed BinaryPredicate) QoSontology.kif 1881-1881 数据已处理二元谓语instance
(instance dataProcessed CaseRole) QoSontology.kif 1880-1880 数据已处理格角色instance
(subrelation dataProcessed patient) QoSontology.kif 1879-1879 数据已处理受事subrelation

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


(format ChineseLanguage dataProcessed "%2 是由 %1 processed ") domainEnglishFormat.kif 3163-3163
(format ChineseTraditionalLanguage dataProcessed "%2 是由 %1 processed ") domainEnglishFormat.kif 3162-3162
(format EnglishLanguage dataProcessed "%2 is processed by %1") domainEnglishFormat.kif 3161-3161
(termFormat ChineseLanguage dataProcessed "数据已处理") domainEnglishFormat.kif 18561-18561
(termFormat ChineseTraditionalLanguage dataProcessed "數據已處理") domainEnglishFormat.kif 18560-18560
(termFormat EnglishLanguage dataProcessed "data processed") domainEnglishFormat.kif 18559-18559

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 3461-3475
(=>
    (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 1931-1945
(=>
    (and
        (instance ?I SoftwareInstallation)
        (dataProcessed ?I ?P)
        (instance ?P ComputerProgram)
        (destination ?I ?C))
    (hasPurpose ?I
        (exists (?PROC)
            (computerRunning ?PROC ?C))))
ComputingBrands.kif 3556-3564
(=>
    (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 3566-3580
(=>
    (and
        (processAborted ?Abort ?Process)
        (dataProcessed ?Process ?Data))
    (not
        (exists (?Save)
            (and
                (instance ?Save DataSaving)
                (dataProcessed ?Save ?Data)))))
QoSontology.kif 1898-1906

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 3461-3475
(=>
    (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 3566-3580
(=>
    (and
        (processAborted ?Abort ?Process)
        (dataProcessed ?Process ?Data))
    (not
        (exists (?Save)
            (and
                (instance ?Save DataSaving)
                (dataProcessed ?Save ?Data)))))
QoSontology.kif 1898-1906
(=>
    (instance ?Save DataSaving)
    (exists (?Data)
        (dataProcessed ?Save ?Data)))
QoSontology.kif 1914-1917


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