Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - programRunning
programRunning

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


(instance programRunning BinaryPredicate) QoSontology.kif 202-202 program running is an instance of binary predicate
(domain programRunning 1 ComputerProcess) QoSontology.kif 203-203 The number 1 argument of program running is an instance of computer process
(domain programRunning 2 ComputerProgram) QoSontology.kif 204-204 The number 2 argument of program running is an instance of computer program
(documentation programRunning EnglishLanguage "(programRunning ?Process ?Program) means that the ComputerProcess ?Process is executing the ComputerProgram ?Program.") QoSontology.kif 205-207 The number 2 argument of program running is an instance of computer program

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


(format EnglishLanguage programRunning "%2 is %n a program running of %1") domainEnglishFormat.kif 2073-2073
(format ChineseTraditionalLanguage programRunning "%2 %n 是 %1 的執行 program ") domainEnglishFormat.kif 2074-2074
(format ChineseLanguage programRunning "%2 %n 是 %1 的执行 program ") domainEnglishFormat.kif 2075-2075
(termFormat EnglishLanguage programRunning "program running") domainEnglishFormat.kif 47641-47641
(termFormat ChineseTraditionalLanguage programRunning "程序運行") domainEnglishFormat.kif 47642-47642
(termFormat ChineseLanguage programRunning "程序运行") domainEnglishFormat.kif 47643-47643

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


(=>
    (and
        (instance ?A AppleAppStore)
        (programRunning ?P ?A)
        (computerRunning ?P ?C))
    (hasPurpose ?A
        (exists (?D)
            (and
                (instance ?D DownloadingOverNetwork)
                (origin ?D ?C)))))		 ComputingBrands.kif 1990-1999 If X is an instance of Apple app store, X is a program running of Y, and Y is running on Z, then X has the purpose there exists W such that W is an instance of downloading and W originates at Z
(=>
    (and
        (instance ?FQ ForceQuit)
        (refers ?FQ ?P)
        (programRunning ?P ?PROG))
    (exists (?A)
        (and
            (instance ?A Abort)
            (processAborted ?A ?P))))		 ComputingBrands.kif 2953-2961 If X is an instance of force quit, X includes a reference to Y, and Z is a program running of Y, then there exists W such that W is an instance of abort and Y is a process aborted of W
(=>
    (programRunning ?Process ?Program)
    (exists (?Computer)
        (runningOn ?Program ?Computer)))		 QoSontology.kif 161-164 If X is a program running of Y, then there exists Z such that X is running on Z
(=>
    (and
        (instance ?System SoftwareSystem)
        (part ?Program ?System)
        (programRunning ?Process ?Program))
    (exists (?Purpose)
        (hasPurpose ?Process ?Purpose)))		 QoSontology.kif 273-279 If X is an instance of software system, Y is a part of X, and Y is a program running of Z, then there exists W such that Z has the purpose W
(=>
    (and
        (instance ?Software SoftwareSystem)
        (instance ?Process ComputerProcess)
        (programRunning ?Process ?Software))
    (exists (?Hardware)
        (and
            (instance ?Hardware HardwareSystem)
            (computerRunning ?Process ?Hardware))))		 QoSontology.kif 292-300 If X is an instance of software system, Y is an instance of computer process, and X is a program running of Y, then there exists Z such that Z is an instance of hardware system and Y is running on Z
(=>
    (and
        (programRunning ?Process ?Program)
        (computerRunning ?Process ?Computer))
    (runsOn ?Program ?Computer))		 QoSontology.kif 336-340 If X is a program running of Y and Y is running on Z, then X can be ComputerProcesses on Z
(=>
    (and
        (programRunning ?Process ?Program)
        (instance ?Program ?PC)
        (instance ?Computer ?CC)
        (computerRunning ?Process ?Computer))
    (canRunOn ?PC ?CC))		 QoSontology.kif 350-356 If X is a program running of Y, X is an instance of Z, W is an instance of V, and Y is running on W, then V is capable of ComputerProcessing Z
(=>
    (and
        (startupOf ?Startup ?Application)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Startup)
        (equal
            (WhenFn ?Process1) ?Time1))
    (exists (?Process2 ?Time2)
        (and
            (instance ?Process2 ComputerProcess)
            (programRunning ?Process2 ?Application)
            (equal
                (WhenFn ?Process2) ?Time2)
            (meetsTemporally ?Time1 ?Time2))))		 QoSontology.kif 380-391 If X is a startup of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and W meets U
(=>
    (and
        (shutdownOf ?Shutdown ?Application)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Shutdown)
        (equal
            (WhenFn ?Process1) ?Time1))
    (exists (?Process2 ?Time2)
        (and
            (instance ?Process2 ComputerProcess)
            (programRunning ?Process2 ?Application)
            (equal
                (WhenFn ?Process2) ?Time2)
            (meetsTemporally ?Time2 ?Time1))))		 QoSontology.kif 420-431 If X is a shutdown of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and U meets W
(=>
    (programRunning ?Process ?Program)
    (exists (?Device)
        (standardInputDevice ?Process ?Device)))		 QoSontology.kif 603-606 If X is a program running of Y, then there exists Z such that Z is the standard input device for Y
(=>
    (programRunning ?Process ?Program)
    (exists (?Device)
        (standardOutputDevice ?Process ?Device)))		 QoSontology.kif 620-623 If X is a program running of Y, then there exists Z such that Z is the standard output device for Y
(=>
    (programRunning ?Process ?Program)
    (exists (?Device)
        (standardErrorDevice ?Process ?Device)))		 QoSontology.kif 637-640 If X is a program running of Y, then there exists Z such that Z is the standard error device for Y
(=>
    (and
        (startupTimeDelay ?Application ?Delay)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Application)
        (equal
            (WhenFn ?Process1) ?Time1)
        (instance ?Process2 ComputerProcess)
        (equal
            (WhenFn ?Process2) ?Time2)
        (meetsTemporally ?Time1 ?Time)
        (meetsTemporally ?Time ?Time2))
    (duration ?Time ?Delay))		 QoSontology.kif 755-765 If All of the following hold: (1) the startup time delay of X is Y (2) Z is an instance of computer process (3) X is a program running of Z (4) equal the time of existence of Z and W (5) V is an instance of computer process (6) equal the time of existence of V and U (7) W meets T (8) T meets U, then duration of T is Y
(<=>
    (exists (?Process)
        (programRunning ?Process ?Program))
    (property ?Program Executable))		 QoSontology.kif 1085-1088 There exists X such that Y is a program running of X if and only if Y the attribute executable
(=>
    (and
        (dependencyDelay ?Program1 ?Delay)
        (dependencyType ?Program1 StartupBlock)
        (hasDependency ?Program1 ?Program2)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Program1)
        (instance ?Process2 ComputerProcess)
        (programRunning ?Process2 ?Program2)
        (equal
            (WhenFn ?Process2) ?Time2)
        (starts ?Time2 ?Time)
        (equal
            (WhenFn ?Process1) ?Time1)
        (equal
            (EndFn ?Time)
            (BeginFn ?Time1)))
    (duration ?Time ?Delay))		 QoSontology.kif 1350-1367 If All of the following hold: (1) X is a dependency delay of Y (2) startup block is a dependency type of Y (3) Z has a dependency on Y (4) W is an instance of computer process (5) Y is a program running of W (6) V is an instance of computer process (7) Z is a program running of V (8) equal the time of existence of V and U (9) U starts T (10) equal the time of existence of W and S (11) equal the end of T and the beginning of S, then duration of T is X
(=>
    (and
        (dependencyDelay ?Program1 ?Delay)
        (dependencyType ?Program1 ShutdownBlock)
        (hasDependency ?Program1 ?Program2)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Program1)
        (instance ?Process2 ComputerProcess)
        (programRunning ?Process2 ?Program2)
        (equal
            (WhenFn ?Process2) ?Time2)
        (finishes ?Time ?Time1)
        (equal
            (WhenFn ?Process2) ?Time2)
        (equal
            (BeginFn ?Time)
            (EndFn ?Time2)))
    (duration ?Time ?Delay))		 QoSontology.kif 1369-1386 If All of the following hold: (1) X is a dependency delay of Y (2) shutdown block is a dependency type of Y (3) Z has a dependency on Y (4) W is an instance of computer process (5) Y is a program running of W (6) V is an instance of computer process (7) Z is a program running of V (8) equal the time of existence of V and U (9) T finishes S (10) equal the time of existence of V and U (11) equal the beginning of T and the end of U, then duration of T is X

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


(=>
    (and
        (deviceOS ?C ?OS)
        (instance ?CI ?C)
        (instance ?OSI ?OS)
        (manufacturer ?C ?ORG))
    (desires ?ORG
        (and
            (programRunning ?PROC ?OSI)
            (computerRunning ?PROC ?CI))))		 ComputingBrands.kif 734-743 If device OS X and Y, Z is an instance of X, W is an instance of Y, and the maker of X is V, then V desires W is a program running of U and U is running on Z
(=>
    (instance ?A App)
    (hasPurpose ?A
        (exists (?P ?C)
            (and
                (instance ?C MobileCellPhone)
                (instance ?P ComputerProcess)
                (programRunning ?P ?A)
                (computerRunning ?P ?C)))))		 ComputingBrands.kif 1960-1968 If X is an instance of app, then X has the purpose there exist Y, Z such that Z is an instance of mobile cell phone, Y is an instance of computer process, X is a program running of Y, and Y is running on Z
(=>
    (instance ?C CalendaringProgram)
    (hasPurpose ?C
        (exists (?T ?P)
            (and
                (instance ?T CalendarText)
                (programRunning ?P ?C)
                (result ?P ?T)))))		 ComputingBrands.kif 2320-2327 If X is an instance of カレンダー, then X has the purpose there exist Y, Z such that Y is an instance of calendar, X is a program running of Z, and Y is a result of Z
(=>
    (instance ?C CameraProgram)
    (hasPurpose ?C
        (exists (?I ?P)
            (and
                (instance ?I Image)
                (programRunning ?P ?C)
                (patient ?P ?I)))))		 ComputingBrands.kif 2341-2348 If X is an instance of camera, then X has the purpose there exist Y, Z such that Y is an instance of image, X is a program running of Z, and Y is a patient of Z
(=>
    (instance ?G GUIDock)
    (exists (?I ?P ?CP)
        (and
            (instance ?CP ComputerProgram)
            (programRunning ?P ?CP)
            (instance ?I Icon)
            (represents ?I ?P)
            (orientation ?I ?G Inside))))		 ComputingBrands.kif 2544-2552 If X is an instance of dock, then there exist Y, Z, W such that W is an instance of computer program, W is a program running of Z, Y is an instance of icon, Y expresses Z, and Y is inside the to X
(=>
    (instance ?EP EmailProgram)
    (hasPurpose ?EP
        (exists (?P ?E)
            (and
                (instance ?P ComputerProcess)
                (instance ?E Emailing)
                (instrument ?E ?P)
                (programRunning ?P ?EP)))))		 ComputingBrands.kif 3031-3039 If X is an instance of mailer, then X has the purpose there exist Y, Z such that Y is an instance of computer process, Z is an instance of emailing, Y is an instrument for Z, and X is a program running of Y
(=>
    (instance ?D DHCPServer)
    (exists (?PROG ?C)
        (and
            (instance ?C Computer)
            (instance ?PROG DHCPProgram)
            (computerRunning ?D ?C)
            (programRunning ?D ?PROG))))		 ComputingBrands.kif 3971-3978 If X is an instance of DHCP server, then there exist Y, Z such that Z is an instance of computer, Y is an instance of DHCP program, X is running on Z, and Y is a program running of X
(=>
    (instance ?Process ComputerProcess)
    (exists (?Computer ?Program)
        (and
            (instance ?Computer Computer)
            (computerRunning ?Process ?Computer)
            (instance ?Program ComputerProgram)
            (programRunning ?Process ?Program))))		 QoSontology.kif 152-159 If X is an instance of computer process, then there exist Y, Z such that Y is an instance of computer, X is running on Y, Z is an instance of computer program, and Z is a program running of X
(=>
    (runningOn ?Program ?Computer)
    (exists (?Process)
        (and
            (programRunning ?Process ?Program)
            (computerRunning ?Process ?Computer))))		 QoSontology.kif 187-192 If X is running on Y, then there exists Z such that X is a program running of Z and Z is running on Y
(=>
    (and
        (startupOf ?Startup ?Application)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Startup)
        (equal
            (WhenFn ?Process1) ?Time1))
    (exists (?Process2 ?Time2)
        (and
            (instance ?Process2 ComputerProcess)
            (programRunning ?Process2 ?Application)
            (equal
                (WhenFn ?Process2) ?Time2)
            (meetsTemporally ?Time1 ?Time2))))		 QoSontology.kif 380-391 If X is a startup of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and W meets U
(=>
    (and
        (shutdownOf ?Shutdown ?Application)
        (instance ?Process1 ComputerProcess)
        (programRunning ?Process1 ?Shutdown)
        (equal
            (WhenFn ?Process1) ?Time1))
    (exists (?Process2 ?Time2)
        (and
            (instance ?Process2 ComputerProcess)
            (programRunning ?Process2 ?Application)
            (equal
                (WhenFn ?Process2) ?Time2)
            (meetsTemporally ?Time2 ?Time1))))		 QoSontology.kif 420-431 If X is a shutdown of Y, Z is an instance of computer process, Y is a program running of Z, and equal the time of existence of Z and W, then there exist V, U such that V is an instance of computer process, X is a program running of V, equal the time of existence of V, U, and U meets W
(=>
    (instance ?State ProcessState)
    (exists (?Program)
        (and
            (instance ?Program ComputerProgram)
            (forall (?Process)
                (=>
                    (programRunning ?Process ?Program)
                    (represents ?State ?Process))))))		 QoSontology.kif 656-664 If X is an instance of process state, then there exists Y such that Y is an instance of computer program and Z Y is a program running of ZX expresses Z
(=>
    (instance ?RM RMStartApplication)
    (exists (?Application ?Process ?RMCopy)
        (and
            (instance ?Application ComputerProgram)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process
                (StartupFn ?Application))
            (agent ?Process ?RMCopy))))		 QoSontology.kif 694-701 If X is an instance of RM start application, then there exist Y, Z, W such that Y is an instance of computer program, W is a copy of X, the startup of Y is a program running of Z, and W is an agent of Z
(=>
    (rMProgramOf ?RM ?System)
    (exists (?Application ?Process ?RMCopy)
        (and
            (part ?Application ?System)
            (programCopy ?RMCopy ?RM)
            (programRunning ?Process ?Application)
            (agent ?Process ?RMCopy))))		 QoSontology.kif 720-727 If X is a rM programof of Y, then there exist Z, W, V such that Z is a part of X, V is a copy of Y, Z is a program running of W, and V is an agent of W
(=>
    (instance ?Feedback Feedback)
    (exists (?RM ?Process ?Program ?Send)
        (and
            (rMProgramOf ?RM ?Program)
            (programRunning ?Process ?Program)
            (instance ?Send DataTransfer)
            (patient ?Send ?Feedback)
            (destination ?Send ?RM))))		 QoSontology.kif 771-779 If X is an instance of feedback, then there exist Y, Z,, , W, V such that W is a rM programof of Y, W is a program running of Z, V is an instance of data transfer, X is a patient of V, and V ends up at Y
(=>
    (minimumReplications ?Application ?MinCopies)
    (greaterThanOrEqualTo
        (CardinalityFn
            (KappaFn ?Copy
                (programRunning ?Copy ?Application))) ?MinCopies))		 QoSontology.kif 829-834 If X is a minimum replications of Y, then the number of instances in the class described by Z is greater than or equal to X
(=>
    (maximumReplications ?Application ?MaxCopies)
    (greaterThanOrEqualTo ?MaxCopies
        (CardinalityFn
            (KappaFn ?Copy
                (programRunning ?Copy ?Application)))))		 QoSontology.kif 846-851 If X is a maximum replications of Y, then X is greater than or equal to the number of instances in the class described by Z
(=>
    (monitorApplicationData ?Time ?Application)
    (exists (?Process)
        (and
            (programRunning ?Process ?Application)
            (time ?Process ?Time))))		 QoSontology.kif 1075-1080 If X is a monitor application data of Y, then there exists Z such that X is a program running of Z and Z exists during Y
(=>
    (instance ?Process Multitasking)
    (exists (?Program1 ?Program2)
        (and
            (programRunning ?Process ?Program1)
            (programRunning ?Process ?Program2)
            (not
                (equal ?Program1 ?Program2)))))		 QoSontology.kif 1909-1916 If X is an instance of multitasking, then there exist Y, Z such that Y is a program running of X, Z is a program running of X, equal Y, and Z
(=>
    (instance ?Task ComputerTask)
    (exists (?Program ?Process)
        (and
            (part ?Task ?Process)
            (instance ?Process Multitasking)
            (programRunning ?Task ?Program))))		 QoSontology.kif 1923-1929 If X is an instance of computer task, then there exist Y, Z such that X is a part of Z, Z is an instance of multitasking, and Y is a program running of X
(=>
    (browserID ?STRING ?BROWSER ?SITE)
    (exists (?WEBPAGE ?ACCESSING ?AGENT ?BPROC)
        (and
            (instance ?WEBPAGE WebPage)
            (subString ?WEBPAGE ?SITE)
            (instance ?ACCESSING AccessingWebPage)
            (instance ?AGENT AutonomousAgent)
            (agent ?ACCESSING ?AGENT)
            (programRunning ?BPROC ?BROWSER)
            (causes ?BPROC ?ACCESSING)
            (destination ?ACCESSING ?WEBPAGE)
            (represents ?STRING ?AGENT))))		 UXExperimentalTerms.kif 736-748 If X is the ID of Y when accessing Z, then All of the following hold: (1) there exist W, V,, , U (2) T such that W is an instance of web page (3) W is a sub-string of Z (4) V is an instance of accessing web page (5) U is an instance of agent (6) U is an agent of V (7) Y is a program running of T (8) T causes V (9) V ends up at W (10) X expresses U


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners