TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 210-212
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 208-208	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 209-209	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 207-207	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 47650-47650
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47649-47649
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47648-47648

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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 simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: