programRunning - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(format ChineseLanguage programRunning "%2 %n 是 %1 的执行 program ")	domainEnglishFormat.kif 2071-2071
(format ChineseTraditionalLanguage programRunning "%2 %n 是 %1 的執行 program ")	domainEnglishFormat.kif 2070-2070
(format EnglishLanguage programRunning "%2 is %n a program running of %1")	domainEnglishFormat.kif 2069-2069
(termFormat ChineseLanguage programRunning "程序运行")	domainEnglishFormat.kif 47686-47686
(termFormat ChineseTraditionalLanguage programRunning "程序運行")	domainEnglishFormat.kif 47685-47685
(termFormat EnglishLanguage programRunning "program running")	domainEnglishFormat.kif 47684-47684

antecedent

(<=> (exists (?Process) (programRunning ?Process ?Program)) (property ?Program Executable))	QoSontology.kif 989-992	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
(=> (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 a physical is an instance of Apple app store and the physical is a program running of a computer process and the computer process is running on a computer, then the physical has the purpose there exists an entity such that the entity is an instance of downloading and the entity originates at the computer
(=> (and (instance ?FQ ForceQuit) (refers ?FQ ?P) (programRunning ?P ?PROG)) (exists (?A) (and (instance ?A Abort) (processAborted ?A ?P))))	ComputingBrands.kif 3042-3050	If an entity is an instance of force quit and the entity includes a reference to a computer process and the computer processROG is a program running of the computer process, then there exists an abort such that the abort is an instance of abort and the computer process is a process aborted of the abort
(=> (and (instance ?Software SoftwareSystem) (instance ?Process ComputerProcess) (programRunning ?Process ?Software)) (exists (?Hardware) (and (instance ?Hardware HardwareSystem) (computerRunning ?Process ?Hardware))))	QoSontology.kif 299-307	If a computer program is an instance of software system and a computer process is an instance of computer process and the computer program is a program running of the computer process, then there exists a computer such that the computer is an instance of hardware system and the computer process is running on the computer
(=> (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer)) (runsOn ?Program ?Computer))	QoSontology.kif 343-347	If a computer program is a program running of a computer process and the computer process is running on a computer, then the computer program can be ComputerProcesses on the computer
(=> (and (programRunning ?Process ?Program) (instance ?Program ?PC) (instance ?Computer ?CC) (computerRunning ?Process ?Computer)) (canRunOn ?PC ?CC))	QoSontology.kif 357-363	If a computer program is a program running of a computer process and the computer program is an instance of another kind of computer program and a computer is an instance of another kind of computer and the computer process is running on the computer, then another kind of computer is capable of ComputerProcessing another kind of computer program
(=> (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 427-438	If a computer program is a shutdown of a shutdown block and a computer process is an instance of computer process and the shutdown block is a program running of the computer process and the time of existence of the computer process is equal to a time interval, then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval meets the time interval
(=> (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 387-398	If a computer program is a startup of a startup block and a computer process is an instance of computer process and the startup block is a program running of the computer process and the time of existence of the computer process is equal to a time interval, then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the time interval meets the other time interval
(=> (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 660-670	If the startup time delay of a computer program is a time duration and a computer process is an instance of computer process and the computer program is a program running of the computer process and the time of existence of the computer process is equal to a time interval and a physical is an instance of computer process and the time of existence of the physical is equal to another time interval and the time interval meets a third time interval and the third time interval meets the other time interval, then duration of the third time interval is the time duration
(=> (exists (?Time1 ?Time2) (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 1270-1284	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and shutdown block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and a third time interval finishes the time interval and the time of existence of the other computer process is equal to the other time interval and the beginning of the third time interval is equal to the end of the other time interval, then duration of the third time interval is the time duration
(=> (exists (?Time1 ?Time2) (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 1254-1268	If there exist a time interval and another time interval such that a time duration is a dependency delay of a computer program and startup block is a dependency type of the computer program and another computer program has a dependency on the computer program and a computer process is an instance of computer process and the computer program is a program running of the computer process and another computer process is an instance of computer process and the other computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval starts a third time interval and the time of existence of the computer process is equal to the time interval and the end of the third time interval is equal to the beginning of the time interval, then duration of the third time interval is the time duration
(=> (programRunning ?Process ?Program) (exists (?Computer) (runningOn ?Program ?Computer)))	QoSontology.kif 166-169	If a computer program is a program running of a computer process, then there exists a computer such that the computer program is running on the computer
(=> (programRunning ?Process ?Program) (exists (?Device) (standardErrorDevice ?Process ?Device)))	QoSontology.kif 543-546	If a computer program is a program running of a computer process, then there exists a computer output device such that the computer output device is the standard error device for the computer process
(=> (programRunning ?Process ?Program) (exists (?Device) (standardInputDevice ?Process ?Device)))	QoSontology.kif 509-512	If a computer program is a program running of a computer process, then there exists a computer input device such that the computer input device is the standard input device for the computer process
(=> (programRunning ?Process ?Program) (exists (?Device) (standardOutputDevice ?Process ?Device)))	QoSontology.kif 526-529	If a computer program is a program running of a computer process, then there exists a computer output device such that the computer output device is the standard output device for the computer process

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 a kind of object and a kind of computer and a kind of objectI is an instance of the kind of object and a kind of computerI is an instance of the kind of computer and the maker of the kind of object is a cognitive agent, then the cognitive agent desires the kind of computerI is a program running of a third entity and the third entity is running on the kind of objectI
(=> (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 427-438	If a computer program is a shutdown of a shutdown block and a computer process is an instance of computer process and the shutdown block is a program running of the computer process and the time of existence of the computer process is equal to a time interval, then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the other time interval meets the time interval
(=> (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 387-398	If a computer program is a startup of a startup block and a computer process is an instance of computer process and the startup block is a program running of the computer process and the time of existence of the computer process is equal to a time interval, then there exist another computer process and another time interval such that the other computer process is an instance of computer process and the computer program is a program running of the other computer process and the time of existence of the other computer process is equal to the other time interval and the time interval meets the other time interval
(=> (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 an identifier is the ID of a web browser when accessing a web site, then there exist a symbolic string, a process,, , an agent and a computer process such that the symbolic string is an instance of web page and the symbolic string is a sub-string of the web site and the process is an instance of accessing web page and the agent is an instance of agent and the agent is an agent of the process and the web browser is a program running of the computer process and the computer process causes the process and the process ends up at the symbolic string and the identifier expresses the agent
(=> (instance ?A App) (hasPurpose ?A (exists (?A ?P ?C) (and (instance ?C MobileCellPhone) (instance ?P ComputerProcess) (programRunning ?P ?A) (computerRunning ?P ?C)))))	ComputingBrands.kif 1960-1968	If a physical is an instance of app, then the physical has the purpose there exist the physical, an entity and another entity such that the other entity is an instance of mobile cell phone and the entity is an instance of computer process and the physical is a program running of the entity and the entity is running on the other entity
(=> (instance ?C CalendaringProgram) (hasPurpose ?C (exists (?T ?P) (and (instance ?T CalendarText) (programRunning ?P ?C) (result ?P ?T)))))	ComputingBrands.kif 2320-2327	If a physical is an instance of カレンダー, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of calendar and the physical is a program running of the other entity and the entity is a result of the other entity
(=> (instance ?C CameraProgram) (hasPurpose ?C (exists (?I ?P) (and (instance ?I Image) (programRunning ?P ?C) (patient ?P ?I)))))	ComputingBrands.kif 2341-2348	If a physical is an instance of camera, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of image and the physical is a program running of the other entity and the entity is a patient of the other entity
(=> (instance ?D DHCPServer) (exists (?PROG ?C) (and (instance ?C Computer) (instance ?PROG DHCPProgram) (computerRunning ?D ?C) (programRunning ?D ?PROG))))	ComputingBrands.kif 4065-4072	If a computer process is an instance of DHCP server, then there exist a computer program and a computer such that the computer is an instance of computer and the computer program is an instance of DHCP program and the computer process is running on the computer and the computer program is a program running of the computer process
(=> (instance ?EP EmailProgram) (hasPurpose ?EP (exists (?P ?E) (and (instance ?P ComputerProcess) (instance ?E Emailing) (instrument ?E ?P) (programRunning ?P ?EP)))))	ComputingBrands.kif 3120-3128	If a physical is an instance of mailer, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of computer process and the other entity is an instance of emailing and the entity is an instrument for the other entity and the physical is a program running of the entity
(=> (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 676-684	If an entity is an instance of feedback, then there exist a resource management program, a computer process,, , a software system and a process 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 the 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
(=> (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 an object is an instance of dock, then there exist another object, a computer process and a computer program such that the computer program is an instance of computer program and the computer program is a program running of the computer process and the other object is an instance of icon and the other object expresses the computer process and the other object is inside to the object
(=> (instance ?Process ComputerProcess) (exists (?Computer ?Program) (and (instance ?Computer Computer) (computerRunning ?Process ?Computer) (instance ?Program ComputerProgram) (programRunning ?Process ?Program))))	QoSontology.kif 157-164	If a computer process is an instance of computer process, then there exist a computer and a computer program such that the computer is an instance of computer and the computer process is running on the computer and the computer program is an instance of computer program and the computer program is a program running of the computer process
(=> (instance ?Process Multitasking) (exists (?Program1 ?Program2) (and (programRunning ?Process ?Program1) (programRunning ?Process ?Program2) (not (equal ?Program1 ?Program2)))))	QoSontology.kif 1785-1792	If a computer process is an instance of multitasking, then there exist a computer program and another computer program such that the computer program is a program running of the computer process and the other computer program is a program running of the computer process and the computer program is not equal to the other computer program
(=> (instance ?RM RMStartApplication) (exists (?Application ?Process ?RMCopy) (and (instance ?Application ComputerProgram) (programCopy ?RMCopy ?RM) (programRunning ?Process (StartupFn ?Application)) (agent ?Process ?RMCopy))))	QoSontology.kif 599-606	If a computer program is an instance of RMStartApplication, then there exist another computer program, a computer process and the computer programCopy such that the other computer program is an instance of computer program and the computer programCopy is a copy of the computer program and the startup of the other computer program is a program running of the computer process and the computer programCopy is an agent of the computer process
(=> (instance ?State ProcessState) (exists (?Program) (and (instance ?Program ComputerProgram) (forall (?Process) (=> (programRunning ?Process ?Program) (represents ?State ?Process))))))	QoSontology.kif 562-570	If an entity is an instance of process state, then there exists a computer program such that the computer program is an instance of computer program and for all a computer process if the computer program is a program running of the computer process, then the entity expresses the computer process
(=> (instance ?System SoftwareSystem) (forall (?Program ?Process) (=> (and (part ?Program ?System) (programRunning ?Process ?Program)) (exists (?Purpose) (hasPurpose ?Process ?Purpose)))))	QoSontology.kif 278-286	If an object is an instance of software system, then for all another object and a computer process if the other object is a part of the object and the other object is a program running of the computer process, then there exists a formula such that the computer process has the purpose the formula
(=> (instance ?Task ComputerTask) (exists (?Program ?Process) (and (part ?Task ?Process) (instance ?Process Multitasking) (programRunning ?Task ?Program))))	QoSontology.kif 1799-1805	If a computer process is an instance of computer task, then there exist a computer program and an object such that the computer process is a part of the object and the object is an instance of multitasking and the computer program is a program running of the computer process
(=> (maximumReplications ?Application ?MaxCopies) (greaterThanOrEqualTo ?MaxCopies (CardinalityFn (KappaFn ?Copy (programRunning ?Copy ?Application)))))	QoSontology.kif 750-755	If a positive integer is a maximum replications of a computer program, then the positive integer is greater than or equal to the number of instances in the class described by a symbolic string
(=> (minimumReplications ?Application ?MinCopies) (greaterThanOrEqualTo (CardinalityFn (KappaFn ?Copy (programRunning ?Copy ?Application))) ?MinCopies))	QoSontology.kif 733-738	If a positive integer is a minimum replications of a computer program, then the number of instances in the class described by a symbolic string is greater than or equal to the positive integer
(=> (monitorApplicationData ?Time ?Application) (exists (?Process) (and (programRunning ?Process ?Application) (time ?Process ?Time))))	QoSontology.kif 979-984	If a computer program is a monitor application data of a time position, then there exists a computer process such that the computer program is a program running of the computer process and the computer process exists during the time position
(=> (rMProgramOf ?RM ?System) (exists (?Application ?Process ?RMCopy) (and (part ?Application ?System) (programCopy ?RMCopy ?RM) (programRunning ?Process ?Application) (agent ?Process ?RMCopy))))	QoSontology.kif 625-632	If a software system is a rM program-of of a resource management program, then there exist an object, a computer process and the resource management programCopy such that the object is a part of the software system and the resource management programCopy is a copy of the resource management program and the object is a program running of the computer process and the resource management programCopy is an agent of the computer process
(=> (runningOn ?Program ?Computer) (exists (?Process) (and (programRunning ?Process ?Program) (computerRunning ?Process ?Computer))))	QoSontology.kif 192-197	If a computer program is running on a computer, then there exists a computer process such that the computer program is a program running of the computer process and the computer process is running on the computer

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

KB Term:			Term intersection

English Word: