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 2010-2011
(domain dataProcessed 1 ComputerProcess) QoSontology.kif 2008-2008 dataProcessed の数値 1 引数は ComputerProcess の instance では
(domain dataProcessed 2 DigitalData) QoSontology.kif 2009-2009 dataProcessed の数値 2 引数は DigitalData の instance では
(instance dataProcessed BinaryPredicate) QoSontology.kif 2007-2007 dataProcessed は 2進述語 の instance では
(instance dataProcessed CaseRole) QoSontology.kif 2006-2006 dataProcessed は 格役割 の instance では
(subrelation dataProcessed patient) QoSontology.kif 2005-2005 dataProcessed は patient の subrelation では

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


(format ChineseLanguage dataProcessed "%2 是由 %1 processed ") domainEnglishFormat.kif 3154-3154
(format ChineseTraditionalLanguage dataProcessed "%2 是由 %1 processed ") domainEnglishFormat.kif 3153-3153
(format EnglishLanguage dataProcessed "%2 is processed by %1") domainEnglishFormat.kif 3152-3152
(termFormat ChineseLanguage dataProcessed "数据已处理") domainEnglishFormat.kif 18579-18579
(termFormat ChineseTraditionalLanguage dataProcessed "數據已處理") domainEnglishFormat.kif 18578-18578
(termFormat EnglishLanguage dataProcessed "data processed") domainEnglishFormat.kif 18577-18577

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 3492-3506
(=>
    (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 2057-2071
(=>
    (and
        (instance ?I SoftwareInstallation)
        (dataProcessed ?I ?P)
        (instance ?P ComputerProgram)
        (destination ?I ?C))
    (hasPurpose ?I
        (exists (?PROC)
            (computerRunning ?PROC ?C))))		 ComputingBrands.kif 3588-3596
(=>
    (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 3598-3612
(=>
    (and
        (processAborted ?Abort ?Process)
        (dataProcessed ?Process ?Data))
    (not
        (exists (?Save)
            (and
                (instance ?Save DataSaving)
                (dataProcessed ?Save ?Data)))))		 QoSontology.kif 2024-2032

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 3492-3506
(=>
    (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 3598-3612
(=>
    (and
        (processAborted ?Abort ?Process)
        (dataProcessed ?Process ?Data))
    (not
        (exists (?Save)
            (and
                (instance ?Save DataSaving)
                (dataProcessed ?Save ?Data)))))		 QoSontology.kif 2024-2032
(=>
    (instance ?Save DataSaving)
    (exists (?Data)
        (dataProcessed ?Save ?Data)))		 QoSontology.kif 2040-2043


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