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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - programRunning
programRunning

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


s__documentation(s__programRunning__m,s__EnglishLanguage,'"(programRunning ?Process ?Program) means that the ComputerProcess ?Process is executing the ComputerProgram ?Program."')

QoSontology.kif 208-210
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__programRunning__m,n__2,s__ComputerProgram)

QoSontology.kif 207-207 The number 2 argument of program running is an instance of computer program
s__instance(s__programRunning__m,s__BinaryPredicate)

s__instance(s__BinaryPredicate,s__SetOrClass)

QoSontology.kif 205-205 program running is an instance of binary predicate

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


s__format(s__ChineseLanguage,s__programRunning__m,'"%2 %n 是 %1 的执行 program "')

domainEnglishFormat.kif 2071-2071
s__format(s__ChineseTraditionalLanguage,s__programRunning__m,'"%2 %n 是 %1 的執行 program "')

domainEnglishFormat.kif 2070-2070
s__format(s__EnglishLanguage,s__programRunning__m,'"%2 is %n a program running of %1"')

domainEnglishFormat.kif 2069-2069
s__termFormat(s__ChineseLanguage,s__programRunning__m,'"程序运行"')

domainEnglishFormat.kif 47631-47631
s__termFormat(s__ChineseTraditionalLanguage,s__programRunning__m,'"程序運行"')

domainEnglishFormat.kif 47630-47630
s__termFormat(s__EnglishLanguage,s__programRunning__m,'"program running"')

domainEnglishFormat.kif 47629-47629

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


( ! [V__Program] :
   ((s__instance(V__Program,s__ComputerProgram) =>
       (((( ? [V__Process] :
               ((s__instance(V__Process,s__ComputerProcess) &
                   s__programRunning(V__Process,V__Program))))
           =>
           s__property(V__Program,s__Executable))
         &
         (s__property(V__Program,s__Executable) =>
           ( ? [V__Process] :
             ((s__instance(V__Process,s__ComputerProcess) &
                 s__programRunning(V__Process,V__Program))))))))
)
)

QoSontology.kif 987-990 There exists a computer process such that a computer program is a program running of the computer process if and only if the computer program the attribute executable
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1957-1966
( ! [V__P,V__PROG,V__FQ] :
   (((s__instance(V__P,s__ComputerProcess) &
         s__instance(V__PROG,s__ComputerProgram))
       =>
       (((s__instance(V__FQ,s__ForceQuit) &
             s__refers(V__FQ,V__P)
           &
           s__programRunning(V__P,V__PROG))
       =>
       (( ? [V__A] :
           ((s__instance(V__A,s__Abort) &
               s__processAborted(V__A,V__P))))))))
)
)

ComputingBrands.kif 3001-3009
( ! [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__Computer,V__Program,V__Process] :
   (((s__instance(V__Computer,s__Computer) &
         s__instance(V__Program,s__ComputerProgram) &
         s__instance(V__Process,s__ComputerProcess))
       =>
       (((s__programRunning(V__Process,V__Program)
           &
           s__computerRunning(V__Process,V__Computer))
       =>
       (s__runsOn(V__Program,V__Computer)))))
)
)

QoSontology.kif 341-345
( ! [V__Computer,V__PC,V__Program,V__Process,V__CC] :
   (((s__instance(V__Computer,s__Computer) &
         s__subclass(V__PC,s__ComputerProgram) &
         s__instance(V__PC,s__Class) &
         s__instance(V__Program,s__ComputerProgram) &
         s__instance(V__Process,s__ComputerProcess) &
         s__subclass(V__CC,s__Computer) &
         s__instance(V__CC,s__Class))
       =>
       (((s__programRunning(V__Process,V__Program)
           &
           s__instance(V__Program,V__PC)
         &
         s__instance(V__Computer,V__CC)
       &
       s__computerRunning(V__Process,V__Computer))
   =>
   (s__canRunOn(V__PC,V__CC)))))
)
)

QoSontology.kif 355-361
( ! [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__Program,V__Process] :
   (((s__instance(V__Program,s__ComputerProgram) &
         s__instance(V__Process,s__ComputerProcess))
       =>
       ((s__programRunning(V__Process,V__Program)
         =>
         (( ? [V__Computer] :
             ((s__instance(V__Computer,s__Computer) &
                 s__runningOn(V__Program,V__Computer))))))))
)
)

QoSontology.kif 164-167
( ! [V__Program,V__Process] :
   (((s__instance(V__Program,s__ComputerProgram) &
         s__instance(V__Process,s__ComputerProcess))
       =>
       ((s__programRunning(V__Process,V__Program)
         =>
         (( ? [V__Device] :
             ((s__instance(V__Device,s__ComputerOutputDevice) &
                 s__standardErrorDevice(V__Process,V__Device))))))))
)
)

QoSontology.kif 541-544
( ! [V__Program,V__Process] :
   (((s__instance(V__Program,s__ComputerProgram) &
         s__instance(V__Process,s__ComputerProcess))
       =>
       ((s__programRunning(V__Process,V__Program)
         =>
         (( ? [V__Device] :
             ((s__instance(V__Device,s__ComputerInputDevice) &
                 s__standardInputDevice(V__Process,V__Device))))))))
)
)

QoSontology.kif 507-510
( ! [V__Program,V__Process] :
   (((s__instance(V__Program,s__ComputerProgram) &
         s__instance(V__Process,s__ComputerProcess))
       =>
       ((s__programRunning(V__Process,V__Program)
         =>
         (( ? [V__Device] :
             ((s__instance(V__Device,s__ComputerOutputDevice) &
                 s__standardOutputDevice(V__Process,V__Device))))))))
)
)

QoSontology.kif 524-527

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


( ! [V__Feedback,V__Send] :
   ((s__instance(V__Send,s__Process) =>
       (((s__instance(V__Feedback,s__Feedback) =>
             ( ? [V__RM, V__Process, V__Program] :
               ((s__instance(V__RM,s__ResourceManagementProgram) &
                   s__instance(V__Process,s__ComputerProcess) &
                   s__instance(V__Program,s__SoftwareSystem) &
                   (s__rMProgramOf(V__RM,V__Program)
                   &
                   s__programRunning(V__Process,V__Program)
                 &
                 s__instance(V__Send,s__DataTransfer) &
                 s__patient(V__Send,V__Feedback)
               &
               s__destination(V__Send,V__RM))))))
   &
   (( ? [V__RM, V__Process, V__Program] :
       ((s__instance(V__RM,s__ResourceManagementProgram) &
           s__instance(V__Process,s__ComputerProcess) &
           s__instance(V__Program,s__SoftwareSystem) &
           (s__rMProgramOf(V__RM,V__Program)
           &
           s__programRunning(V__Process,V__Program)
         &
         s__instance(V__Send,s__DataTransfer) &
         s__patient(V__Send,V__Feedback)
       &
       s__destination(V__Send,V__RM)))))
=>
s__instance(V__Feedback,s__Feedback)))))
)
)

QoSontology.kif 674-682 An entity is an instance of feedback if and only if there exist a resource management program, a computer process and a software system such that the software system is a rM program-of of the resource management program and the software system is a program running of the computer process and a process is an instance of data transfer and the entity is a patient of the process and the process ends up at the resource management program
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 703-712
( ! [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 2287-2294
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 2308-2315
( ! [V__D] :
   ((s__instance(V__D,s__DHCPServer) =>
       (( ? [V__PROG, V__C] :
           ((s__instance(V__C,s__Computer) &
               s__instance(V__PROG,s__DHCPProgram) &
               s__computerRunning(V__D,V__C)
             &
             s__programRunning(V__D,V__PROG))))))
)
)

ComputingBrands.kif 4036-4043
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3079-3087
( ! [V__G] :
   ((s__instance(V__G,s__GUIDock) =>
       (( ? [V__I, V__P, V__CP] :
           ((s__instance(V__P,s__ComputerProcess) &
               (s__instance(V__CP,s__ComputerProgram) &
                 s__programRunning(V__P,V__CP)
               &
               s__instance(V__I,s__Icon) &
               s__represents(V__I,V__P)
             &
             s__orientation(V__I,V__G,s__Inside)))))))
)
)

ComputingBrands.kif 2503-2511
( ! [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
( ! [V__Process] :
   ((s__instance(V__Process,s__Multitasking) =>
       (( ? [V__Program1, V__Program2] :
           ((s__instance(V__Program1,s__ComputerProgram) &
               s__instance(V__Program2,s__ComputerProgram) &
               (s__programRunning(V__Process,V__Program1)
               &
               s__programRunning(V__Process,V__Program2)
             &
             ~((V__Program1 = V__Program2))))))))
)
)

QoSontology.kif 1790-1797
( ! [V__RM] :
   ((s__instance(V__RM,s__RM_StartApplication) =>
       (( ? [V__Application, V__Process, V__RMCopy] :
           ((s__instance(V__Process,s__ComputerProcess) &
               s__instance(V__RMCopy,s__Agent) &
               s__instance(V__RMCopy,s__ComputerFile) &
               (s__instance(V__Application,s__ComputerProgram) &
                 s__programCopy(V__RMCopy,V__RM)
               &
               s__programRunning(V__Process,s__StartupFn(V__Application))
           &
           s__agent(V__Process,V__RMCopy)))))))
)
)

QoSontology.kif 597-604
( ! [V__State] :
   ((s__instance(V__State,s__ProcessState) =>
       (( ? [V__Program] :
           ((s__instance(V__Program,s__ComputerProgram) &
               ( ! [V__Process] :
                 ((s__instance(V__Process,s__ComputerProcess) =>
                     ((s__programRunning(V__Process,V__Program)
                       =>
                       (s__represents(V__State,V__Process))))))))))))
)
)

QoSontology.kif 560-568
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 276-284
( ! [V__Task] :
   ((s__instance(V__Task,s__ComputerTask) =>
       (( ? [V__Program, V__Process] :
           ((s__instance(V__Program,s__ComputerProgram) &
               (s__part(V__Task,V__Process)
               &
               s__instance(V__Process,s__Multitasking) &
               s__programRunning(V__Task,V__Program)))))))
)
)

QoSontology.kif 1804-1810
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 748-753
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 731-736
( ! [V__Time,V__Application] :
   (((s__instance(V__Time,s__TimePosition) &
         s__instance(V__Application,s__ComputerProgram))
       =>
       ((s__monitorApplicationData(V__Time,V__Application)
         =>
         (( ? [V__Process] :
             ((s__instance(V__Process,s__ComputerProcess) &
                 (s__programRunning(V__Process,V__Application)
                 &
                 s__time(V__Process,V__Time)))))))))
)
)

QoSontology.kif 977-982
( ! [V__System,V__RM] :
   (((s__instance(V__System,s__SoftwareSystem) &
         s__instance(V__System,s__Object) &
         s__instance(V__RM,s__ResourceManagementProgram))
       =>
       ((s__rMProgramOf(V__RM,V__System)
         =>
         (( ? [V__Application, V__Process, V__RMCopy] :
             ((s__instance(V__Application,s__Object) &
                 s__instance(V__Application,s__ComputerProgram) &
                 s__instance(V__Process,s__ComputerProcess) &
                 s__instance(V__RMCopy,s__Agent) &
                 s__instance(V__RMCopy,s__ComputerFile) &
                 (s__part(V__Application,V__System)
                 &
                 s__programCopy(V__RMCopy,V__RM)
               &
               s__programRunning(V__Process,V__Application)
             &
             s__agent(V__Process,V__RMCopy)))))))))
)
)

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

QoSontology.kif 190-195


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