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

Formal Language: 



KB Term:  Term intersection
English Word: 

  ComputerProcess

Sigma KEE - ComputerProcess
ComputerProcess(computer process)
fragmentation, interrupt, swap, terminal_emulation, thrash

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


s__documentation(s__ComputerProcess,s__EnglishLanguage,'"An instance of ComputerProcess is a process which manipulates data in the computer."')

QoSontology.kif 152-153
s__externalImage(s__ComputerProcess,'"http://upload.wikimedia.org/wikipedia/commons/ 8/ 83/ Process_states.svg"')

pictureList.kif 1708-1708
s__instance(s__InternalChange,s__SetOrClass)

s__subclass(s__ComputerProcess,s__InternalChange)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 151-151 Computer process is a subclass of internal change

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


s__subclass(s__Abort,s__ComputerProcess)

s__instance(s__Abort,s__SetOrClass)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 1888-1888 Abort is a subclass of computer process
s__subclass(s__ComputerBackingUp,s__ComputerProcess)

s__instance(s__ComputerBackingUp,s__SetOrClass)

s__instance(s__ComputerProcess,s__SetOrClass)

ComputingBrands.kif 3464-3464 Backup is a subclass of computer process
s__subclass(s__ComputerResponse,s__ComputerProcess)

s__instance(s__ComputerResponse,s__SetOrClass)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 1746-1746 Computer response is a subclass of computer process
s__subclass(s__ComputerTask,s__ComputerProcess)

s__instance(s__ComputerTask,s__SetOrClass)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 1799-1799 Computer task is a subclass of computer process
s__instance(s__DHCPServer,s__SetOrClass)

s__subclass(s__DHCPServer,s__ComputerProcess)

s__instance(s__ComputerProcess,s__SetOrClass)

ComputingBrands.kif 4008-4008 DHCP server is a subclass of computer process
s__subclass(s__DataCompression,s__ComputerProcess)

s__instance(s__DataCompression,s__SetOrClass)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 1928-1928 Data compression is a subclass of computer process
s__instance(s__DataSaving,s__SetOrClass)

s__subclass(s__DataSaving,s__ComputerProcess)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 1909-1909 Data saving is a subclass of computer process
s__subclass(s__DataTransfer,s__ComputerProcess)

s__instance(s__ComputerProcess,s__SetOrClass)

s__instance(s__DataTransfer,s__SetOrClass)

QoSontology.kif 91-91 Data transfer is a subclass of computer process
s__subclass(s__DeletingData,s__ComputerProcess)

s__instance(s__DeletingData,s__SetOrClass)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 109-109 DeletingData is a subclass of computer process
s__subclass(s__Jailbreaking,s__ComputerProcess)

s__instance(s__Jailbreaking,s__SetOrClass)

s__instance(s__ComputerProcess,s__SetOrClass)

ComputingBrands.kif 3393-3393 Cracking is a subclass of computer process
s__instance(s__MeasuringPerformance,s__SetOrClass)

s__subclass(s__MeasuringPerformance,s__ComputerProcess)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 881-881 Measuring performance is a subclass of computer process
s__subclass(s__MountingADevice,s__ComputerProcess)

s__instance(s__MountingADevice,s__SetOrClass)

s__instance(s__ComputerProcess,s__SetOrClass)

ComputingBrands.kif 3763-3763 Mounting is a subclass of computer process
s__subclass(s__Multitasking,s__ComputerProcess)

s__instance(s__Multitasking,s__SetOrClass)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 1784-1784 Multitasking is a subclass of computer process
s__subclass(s__RestoringData,s__ComputerProcess)

s__instance(s__ComputerProcess,s__SetOrClass)

s__instance(s__RestoringData,s__SetOrClass)

QoSontology.kif 131-131 Restore is a subclass of computer process
s__subclass(s__ReusingAResource,s__ComputerProcess)

s__instance(s__ReusingAResource,s__SetOrClass)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 1979-1979 ReusingA resource is a subclass of computer process
s__subclass(s__UserRequest,s__ComputerProcess)

s__instance(s__UserRequest,s__SetOrClass)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 1735-1735 User request is a subclass of computer process
s__instance(s__UserSignifiedAction,s__SetOrClass)

s__subclass(s__UserSignifiedAction,s__ComputerProcess)

s__instance(s__ComputerProcess,s__SetOrClass)

ComputerInput.kif 1226-1226 UserSignifiedAction is a subclass of computer process
s__instance(s__UsingAResource,s__SetOrClass)

s__subclass(s__UsingAResource,s__ComputerProcess)

s__instance(s__ComputerProcess,s__SetOrClass)

QoSontology.kif 1963-1963 UsingA resource is a subclass of computer process
s__subclass(s__WindowScrolling,s__ComputerProcess)

s__instance(s__WindowScrolling,s__SetOrClass)

s__instance(s__ComputerProcess,s__SetOrClass)

ComputerInput.kif 1799-1799 WindowScrolling is a subclass of computer process
s__termFormat(s__ChineseLanguage,s__ComputerProcess,'"电脑程序"')

domainEnglishFormat.kif 16347-16347
s__termFormat(s__ChineseTraditionalLanguage,s__ComputerProcess,'"電腦程序"')

domainEnglishFormat.kif 16346-16346
s__termFormat(s__EnglishLanguage,s__ComputerProcess,'"computer process"')

domainEnglishFormat.kif 16345-16345

appearance as argument number 3
-------------------------


s__domain(s__accountUsed__m,n__1,s__ComputerProcess)

ComputingBrands.kif 4132-4132 The number 1 argument of account used is an instance of computer process
s__domain(s__computerRunning__m,n__1,s__ComputerProcess)

QoSontology.kif 200-200 The number 1 argument of computer running is an instance of computer process
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__processAborted__m,n__2,s__ComputerProcess)

QoSontology.kif 1895-1895 The number 2 argument of process aborted is an instance of computer process
s__domain(s__processID__m,n__1,s__ComputerProcess)

QoSontology.kif 774-774 The number 1 argument of processID is an instance of computer process
s__domain(s__programRunning__m,n__1,s__ComputerProcess)

QoSontology.kif 206-206 The number 1 argument of program running is an instance of computer process
s__domain(s__resourceUsed__m,n__1,s__ComputerProcess)

QoSontology.kif 2000-2000 The number 1 argument of resource used is an instance of computer process
s__domain(s__standardErrorDevice__m,n__1,s__ComputerProcess)

QoSontology.kif 532-532 The number 1 argument of standard error device is an instance of computer process
s__domain(s__standardInputDevice__m,n__1,s__ComputerProcess)

QoSontology.kif 501-501 The number 1 argument of standard input device is an instance of computer process
s__domain(s__standardOutputDevice__m,n__1,s__ComputerProcess)

QoSontology.kif 515-515 The number 1 argument of standard output device is an instance of computer process
s__domain(s__stateOfProcess__m,n__1,s__ComputerProcess)

QoSontology.kif 571-571 The number 1 argument of state of process is an instance of computer process
s__domain(s__status__m,n__1,s__ComputerProcess)

QoSontology.kif 796-796 The number 1 argument of status is an instance of computer process
s__domain(s__task__m,n__1,s__ComputerProcess)

QoSontology.kif 1958-1958 The number 1 argument of task is an instance of computer process

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


( ! [V__Software,V__Process] :
   (((s__instance(V__Software,s__SoftwareSystem) &
         s__instance(V__Process,s__ComputerProcess) &
         s__programRunning(V__Process,V__Software))
     =>
     (( ? [V__Hardware] :
         ((s__instance(V__Hardware,s__HardwareSystem) &
             s__computerRunning(V__Process,V__Hardware))))))
)
)

QoSontology.kif 297-305
( ! [V__Application,V__Time1,V__Process1,V__Shutdown] :
   (((s__instance(V__Application,s__ComputerProgram) &
         s__instance(V__Time1,s__TimeInterval) &
         s__instance(V__Shutdown,s__ShutdownBlock))
       =>
       (((s__shutdownOf(V__Shutdown,V__Application)
           &
           s__instance(V__Process1,s__ComputerProcess) &
           s__programRunning(V__Process1,V__Shutdown)
         &
         (s__WhenFn(V__Process1)
         = V__Time1))
     =>
     (( ? [V__Process2, V__Time2] :
         ((s__instance(V__Time2,s__TimeInterval) &
             (s__instance(V__Process2,s__ComputerProcess) &
               s__programRunning(V__Process2,V__Application)
             &
             (s__WhenFn(V__Process2)
             = V__Time2)
           &
           s__meetsTemporally(V__Time2,V__Time1)))))))))
)
)

QoSontology.kif 425-436
( ! [V__Startup,V__Application,V__Time1,V__Process1] :
   (((s__instance(V__Startup,s__StartupBlock) &
         s__instance(V__Application,s__ComputerProgram) &
         s__instance(V__Time1,s__TimeInterval))
       =>
       (((s__startupOf(V__Startup,V__Application)
           &
           s__instance(V__Process1,s__ComputerProcess) &
           s__programRunning(V__Process1,V__Startup)
         &
         (s__WhenFn(V__Process1)
         = V__Time1))
     =>
     (( ? [V__Process2, V__Time2] :
         ((s__instance(V__Time2,s__TimeInterval) &
             (s__instance(V__Process2,s__ComputerProcess) &
               s__programRunning(V__Process2,V__Application)
             &
             (s__WhenFn(V__Process2)
             = V__Time2)
           &
           s__meetsTemporally(V__Time1,V__Time2)))))))))
)
)

QoSontology.kif 385-396
( ! [V__Time,V__Application,V__Time2,V__Time1,V__Process1,V__Process2,V__Delay] :
   (((s__instance(V__Time,s__Physical) &
         s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Application,s__ComputerProgram) &
         s__instance(V__Time2,s__TimeInterval) &
         s__instance(V__Time1,s__TimeInterval) &
         s__instance(V__Delay,s__TimeDuration))
       =>
       (((s__startupTimeDelay(V__Application,V__Delay)
           &
           s__instance(V__Process1,s__ComputerProcess) &
           s__programRunning(V__Process1,V__Application)
         &
         (s__WhenFn(V__Process1)
         = V__Time1)
       &
       s__instance(V__Process2,s__ComputerProcess) &
       (s__WhenFn(V__Process2)
       = V__Time2)
     &
     s__meetsTemporally(V__Time1,V__Time)
   &
   s__meetsTemporally(V__Time,V__Time2))
=>
(s__measure(V__Time,V__Delay)))))
)
)

QoSontology.kif 658-668
( ! [V__Time,V__Process1,V__Program1,V__Process2,V__Delay,V__Program2] :
   (((s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Program1,s__ComputerProgram) &
         s__instance(V__Delay,s__TimeDuration) &
         s__instance(V__Program2,s__ComputerProgram))
       =>
       ((( ? [V__Time1, V__Time2] :
             ((s__instance(V__Time1,s__TimeInterval) &
                 s__instance(V__Time2,s__TimeInterval) &
                 (s__dependencyDelay(V__Program1,V__Delay)
                 &
                 s__dependencyType(V__Program1,s__ShutdownBlock) &
                 s__hasDependency(V__Program1,V__Program2)
               &
               s__instance(V__Process1,s__ComputerProcess) &
               s__programRunning(V__Process1,V__Program1)
             &
             s__instance(V__Process2,s__ComputerProcess) &
             s__programRunning(V__Process2,V__Program2)
           &
           (s__WhenFn(V__Process2)
           = V__Time2)
         &
         s__finishes(V__Time,V__Time1)
       &
       (s__WhenFn(V__Process2)
       = V__Time2)
     &
     (s__BeginFn(V__Time)
     = s__EndFn(V__Time2))))))
=>
(s__duration(V__Time,V__Delay)))))
)
)

QoSontology.kif 1275-1289
( ! [V__Time,V__Process1,V__Program1,V__Process2,V__Delay,V__Program2] :
   (((s__instance(V__Time,s__TimeInterval) &
         s__instance(V__Program1,s__ComputerProgram) &
         s__instance(V__Delay,s__TimeDuration) &
         s__instance(V__Program2,s__ComputerProgram))
       =>
       ((( ? [V__Time1, V__Time2] :
             ((s__instance(V__Time1,s__TimeInterval) &
                 s__instance(V__Time2,s__TimeInterval) &
                 (s__dependencyDelay(V__Program1,V__Delay)
                 &
                 s__dependencyType(V__Program1,s__StartupBlock) &
                 s__hasDependency(V__Program1,V__Program2)
               &
               s__instance(V__Process1,s__ComputerProcess) &
               s__programRunning(V__Process1,V__Program1)
             &
             s__instance(V__Process2,s__ComputerProcess) &
             s__programRunning(V__Process2,V__Program2)
           &
           (s__WhenFn(V__Process2)
           = V__Time2)
         &
         s__starts(V__Time2,V__Time)
       &
       (s__WhenFn(V__Process1)
       = V__Time1)
     &
     (s__EndFn(V__Time)
     = s__BeginFn(V__Time1))))))
=>
(s__duration(V__Time,V__Delay)))))
)
)

QoSontology.kif 1259-1273
( ! [V__Process] :
   ((s__instance(V__Process,s__ComputerProcess) =>
       (( ? [V__Computer, V__Program] :
           ((s__instance(V__Computer,s__Computer) &
               s__computerRunning(V__Process,V__Computer)
             &
             s__instance(V__Program,s__ComputerProgram) &
             s__programRunning(V__Process,V__Program))))))
)
)

QoSontology.kif 155-162

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3469-3483
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3943-3957
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3959-3973
( ! [V__Application,V__Time1,V__Process1,V__Shutdown] :
   (((s__instance(V__Application,s__ComputerProgram) &
         s__instance(V__Time1,s__TimeInterval) &
         s__instance(V__Shutdown,s__ShutdownBlock))
       =>
       (((s__shutdownOf(V__Shutdown,V__Application)
           &
           s__instance(V__Process1,s__ComputerProcess) &
           s__programRunning(V__Process1,V__Shutdown)
         &
         (s__WhenFn(V__Process1)
         = V__Time1))
     =>
     (( ? [V__Process2, V__Time2] :
         ((s__instance(V__Time2,s__TimeInterval) &
             (s__instance(V__Process2,s__ComputerProcess) &
               s__programRunning(V__Process2,V__Application)
             &
             (s__WhenFn(V__Process2)
             = V__Time2)
           &
           s__meetsTemporally(V__Time2,V__Time1)))))))))
)
)

QoSontology.kif 425-436
( ! [V__Startup,V__Application,V__Time1,V__Process1] :
   (((s__instance(V__Startup,s__StartupBlock) &
         s__instance(V__Application,s__ComputerProgram) &
         s__instance(V__Time1,s__TimeInterval))
       =>
       (((s__startupOf(V__Startup,V__Application)
           &
           s__instance(V__Process1,s__ComputerProcess) &
           s__programRunning(V__Process1,V__Startup)
         &
         (s__WhenFn(V__Process1)
         = V__Time1))
     =>
     (( ? [V__Process2, V__Time2] :
         ((s__instance(V__Time2,s__TimeInterval) &
             (s__instance(V__Process2,s__ComputerProcess) &
               s__programRunning(V__Process2,V__Application)
             &
             (s__WhenFn(V__Process2)
             = V__Time2)
           &
           s__meetsTemporally(V__Time1,V__Time2)))))))))
)
)

QoSontology.kif 385-396
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1927-1935
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3079-3087
No TPTP formula. May not be expressible in strict first order. Cars.kif 3182-3193
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 112-128
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 134-149
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4318-4329


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