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

Formal Language: 



KB Term:  Term intersection
English Word: 

  dataProcessed

Sigma KEE - dataProcessed
dataProcessed

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


s__documentation(s__dataProcessed__m,s__EnglishLanguage,'"The data being processed during a ComputerProcess."')

QoSontology.kif 1885-1886
s__domain(s__dataProcessed__m,n__1,s__ComputerProcess)

QoSontology.kif 1883-1883 The number 1 argument of data processed is an instance of computer process
s__domain(s__dataProcessed__m,n__2,s__DigitalData)

QoSontology.kif 1884-1884 The number 2 argument of data processed is an instance of digital data
s__instance(s__BinaryPredicate,s__Class)

s__instance(s__dataProcessed__m,s__BinaryPredicate)

QoSontology.kif 1882-1882 data processed is an instance of binary predicate
s__instance(s__dataProcessed__m,s__CaseRole)

s__instance(s__CaseRole,s__Class)

QoSontology.kif 1881-1881 data processed is an instance of case role
s__subrelation(s__dataProcessed__m,s__patient__m)

QoSontology.kif 1880-1880 data processed is a subrelation of patient

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


s__format(s__ChineseLanguage,s__dataProcessed__m,'"%2 是由 %1 processed "')

domainEnglishFormat.kif 3163-3163
s__format(s__ChineseTraditionalLanguage,s__dataProcessed__m,'"%2 是由 %1 processed "')

domainEnglishFormat.kif 3162-3162
s__format(s__EnglishLanguage,s__dataProcessed__m,'"%2 is processed by %1"')

domainEnglishFormat.kif 3161-3161
s__termFormat(s__ChineseLanguage,s__dataProcessed__m,'"数据已处理"')

domainEnglishFormat.kif 18561-18561
s__termFormat(s__ChineseTraditionalLanguage,s__dataProcessed__m,'"數據已處理"')

domainEnglishFormat.kif 18560-18560
s__termFormat(s__EnglishLanguage,s__dataProcessed__m,'"data processed"')

domainEnglishFormat.kif 18559-18559

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3462-3476
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1932-1946
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3557-3565
( ! [V__P,V__C,V__U,V__T2] :
   (((s__instance(V__C,s__Object) &
         s__instance(V__T2,s__TimeInterval))
       =>
       (((s__instance(V__U,s__SoftwareUnInstallation) &
             (V__T2 = s__WhenFn(V__U))
           &
           s__dataProcessed(V__U,V__P)
         &
         s__instance(V__P,s__ComputerProgram) &
         s__located(V__U,V__C))
     =>
     (( ? [V__I, V__T1] :
         ((s__instance(V__T1,s__TimeInterval) &
             (s__instance(V__I,s__SoftwareInstallation) &
               (V__T1 = s__WhenFn(V__I))
             &
             s__dataProcessed(V__I,V__P)
           &
           s__instance(V__P,s__ComputerProgram) &
           s__located(V__I,V__C)
         &
         s__earlier(V__T1,V__T2)))))))))
)
)

ComputingBrands.kif 3567-3581
( ! [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

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3462-3476
( ! [V__P,V__C,V__U,V__T2] :
   (((s__instance(V__C,s__Object) &
         s__instance(V__T2,s__TimeInterval))
       =>
       (((s__instance(V__U,s__SoftwareUnInstallation) &
             (V__T2 = s__WhenFn(V__U))
           &
           s__dataProcessed(V__U,V__P)
         &
         s__instance(V__P,s__ComputerProgram) &
         s__located(V__U,V__C))
     =>
     (( ? [V__I, V__T1] :
         ((s__instance(V__T1,s__TimeInterval) &
             (s__instance(V__I,s__SoftwareInstallation) &
               (V__T1 = s__WhenFn(V__I))
             &
             s__dataProcessed(V__I,V__P)
           &
           s__instance(V__P,s__ComputerProgram) &
           s__located(V__I,V__C)
         &
         s__earlier(V__T1,V__T2)))))))))
)
)

ComputingBrands.kif 3567-3581
( ! [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
( ! [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


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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