programRunning - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 208-210
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 206-206	The number 1 argument of program running is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 207-207	The number 2 argument of program running is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 205-205	program running is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2071-2071
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2070-2070
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2069-2069
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47642-47642
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47641-47641
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47640-47640

antecedent

No TPTP formula. May not be expressible in strict first order.	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 1972-1981	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 purpose there exists an entity such that the entity is an instance of Downloading and the entity originates at the computer
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3017-3025	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 297-305	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 341-345	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 355-361	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 425-436	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 385-396	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 658-668	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 another physical and the other physical meets the other time interval, then the measure of the other physical is the time duration
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1275-1289	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1259-1273	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 164-167	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 541-544	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 507-510	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 524-527	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

No TPTP formula. May not be expressible in strict first order.	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 709-718	If deviceOS 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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 425-436	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 385-396	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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1942-1950	If a physical is an instance of app, then the physical purpose there exist the physical and an entity such that another 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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2302-2309	If a physical is an instance of カレンダー, then the physical 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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2323-2330	If a physical is an instance of camera, then the physical 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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4006-4013	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 DHCPProgram and the computer process is running on the computer and the computer program is a program running of the computer process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3095-3103	If a physical is an instance of mailer, then the physical 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
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2515-2523	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 155-162	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1790-1797	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 597-604	If a computer program is an instance of RM- start application, 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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 560-568	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 276-284	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 purpose the formula
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1804-1810	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 748-753	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 731-736	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 977-982	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 623-630	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
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 190-195	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: