TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 154-155
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1707-1707
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 153-153	Computer process is a subclass of internal change

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1882-1882	Abort is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3491-3491	Backup is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1741-1741	Computer response is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1794-1794	Computer task is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4037-4037	DHCP server is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1922-1922	Data compression is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1903-1903	Data saving is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 91-91	Data transfer is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 109-109	Deleting data is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3419-3419	Cracking is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 883-883	Measuring performance is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3792-3792	Mounting is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1779-1779	Multitasking is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 132-132	Restore is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1973-1973	ReusingA resource is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1730-1730	User request is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1199-1199	User signified action is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1957-1957	UsingA resource is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1770-1770	Window scrolling is a subclass of computer process
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16356-16356
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16355-16355
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 16354-16354

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4161-4161	The number 1 argument of account used is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 202-202	The number 1 argument of computer running is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1877-1877	The number 1 argument of data processed is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1889-1889	The number 2 argument of process aborted is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 776-776	The number 1 argument of processID is an instance of computer process
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 1994-1994	The number 1 argument of resource used is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 534-534	The number 1 argument of standard error device is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 503-503	The number 1 argument of standard input device is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 517-517	The number 1 argument of standard output device is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 573-573	The number 1 argument of state of process is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 798-798	The number 1 argument of status is an instance of computer process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1952-1952	The number 1 argument of task is an instance of computer process

antecedent

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 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 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

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3496-3510	If a computer process is an instance of backup and a digital data is processed by the computer process and the digital data is an instance of digital data and a cognitive agent is an agent of the computer process, then the cognitive agent desires there exists an entity such that the time of existence of the computer process happens earlier than the entity and there exists another entity such that the other entity is an instance of computer process and the digital data is capable of doing the other entity as a data processed holds during the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3972-3986	If a process is an instance of logging in and an agent has account an user account and the user account is an account at a web site and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the web site is a patient of the entity holds during the time interval has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3988-4002	If a process is an instance of logging in and an agent has account an user account and device account the user account and a computer and a time interval is equal to immediately after the time of existence of the process and the agent is an agent of the process, then the statement there exists an entity such that the entity is an instance of computer process and the agent is an agent of the entity and the computer is an instrument for the entity holds during the time interval has the modal force of possibility
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.	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 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.	Cars.kif 3167-3178	If a physical is an instance of ignition control module, then the physical has the purpose there exist an entity, another entity and a third entity such that the other entity is an instance of automobile and the entity is an instance of spark and the third entity is an instance of computer process and the physical is a part of the other entity and the third entity is located at the other entity and the entity is located at the other entity and the third entity causes the entity
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 112-129	If a process is an instance of deleting data, then there exists an entity such that the entity is an instance of digital data and the entity is a patient of the process and there don't exist another entity and a class such that the other entity is an instance of computer process and the other entity is an instance of the class and the other entity is not an instance of restore and the entity is capable of doing the class as a patient holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 135-151	If a process is an instance of restore, then there exist another process, an entity,, , another entity and a class such that the other process is an instance of deleting data and the other entity is an instance of digital data and the other entity is a patient of the process and the other entity is a patient of the other process and the time of existence of the other process happens earlier than the time of existence of the process and the entity is an instance of computer process and the entity is an instance of the class and the other entity is capable of doing the class as a patient holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4347-4358	If an agent is logged-in to an user account during a time interval, then the statement there exist an entity and another entity such that the entity is an instance of computer process and the agent is an agent of the entity and device account the user account and the other entity and the other entity is an instance of computer and the entity is running on the other entity and the other entity is an instrument for the entity holds during the time interval has the modal force of possibility

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: