ComputerProgram - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3761-3761
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15588-15589
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1709-1709
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1293-1293
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1292-1292
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15587-15587	Computer program is a subclass of procedure
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 842-842	Computer program is a subclass of Software

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1809-1809	JOPES is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2149-2149	Audio/Video Control Transport Protocol is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2922-2922	Flash is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1927-1927	App is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1950-1950	Apple app store is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 894-894	FaceTime is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 932-932	FairPlay is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2905-2905	Apple Fast App Switcher is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 858-858	GarageBand is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 876-876	ICloud is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 882-882	ILife is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 870-870	IMessages is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 864-864	IMovie is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 888-888	IWork is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 965-965	Migration Assistant is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 958-958	Setup Assistant is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1891-1891	Application Programmer Interface is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 576-576	Automatic application is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2261-2261	Bookmarklet is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2287-2287	カレンダー is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2309-2309	Camera is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 606-606	Console application is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3979-3979	DHCPProgram is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3075-3075	Mailer is a subclass of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4176-4176	FMIP is a subclass of computer program

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1324-1324	The number 1 argument of CPU utilization is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1317-1317	The number 1 argument of initial profile is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 439-439	The number 1 argument of shutdown is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 399-399	The number 1 argument of startup is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1300-1300	The number 1 argument of command line arguments is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 641-641	The number 1 argument of criticality level is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1249-1249	The number 1 argument of dependency delay is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1226-1226	The number 1 argument of dependency type is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 459-459	The number 1 argument of environment attributes is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1243-1243	The number 1 argument of has dependency is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1244-1244	The number 2 argument of has dependency is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3969-3969	The number 1 argument of implements protocol is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 739-739	The number 1 argument of maximum replications is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 718-718	The number 1 argument of minimum replications is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 972-972	The number 2 argument of monitor application data is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 766-766	The number 1 argument of port number is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 635-635	The number 2 argument of program copy is an instance of computer program
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 185-185	The number 1 argument of running on is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 336-336	The number 1 argument of runs on is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 711-711	The number 1 argument of settling time is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 411-411	The number 2 argument of shutdown of is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 919-919	The number 1 argument of heart beat rate is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3811-3811	The number 1 argument of software version is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3812-3812	The number 2 argument of software version is an instance of computer program

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3585-3593	If a computer process is an instance of installation and a digital data is processed by the computer process and the digital data is an instance of computer program and the computer process ends up at an entity, then the computer process purpose there exists the digital dataROC such that the digital dataROC is running on the entity
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3830-3843	If a transfer is an instance of software upgrade and a computer is a patient of the transfer and the computer is an instance of computer and the object transferred in the transfer is an object and the object is an instance of computer program, then there exist the objectOLD and a DataStorageDevice such that the objectOLD is an instance of computer program and the DataStorageDevice is an instance of DataStorageDevice and %1 is a connected peripheral of %2 the DataStorageDevice and the computer and the objectOLD is stored on the DataStorageDevice and the object is a later software version of the objectOLD
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3595-3609	If a computer process is an instance of un installation and a time interval is equal to the time of existence of the computer process and a digital data is processed by the computer process and the digital data is an instance of computer program and the computer process is located at an object, then there exist another computer process and another time interval such that the other computer process is an instance of installation and the other time interval is equal to the time of existence of the other computer process and the digital data is processed by the other computer process and the digital data is an instance of computer program and the other computer process is located at the object and the other time interval happens earlier than the time interval

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3830-3843	If a transfer is an instance of software upgrade and a computer is a patient of the transfer and the computer is an instance of computer and the object transferred in the transfer is an object and the object is an instance of computer program, then there exist the objectOLD and a DataStorageDevice such that the objectOLD is an instance of computer program and the DataStorageDevice is an instance of DataStorageDevice and %1 is a connected peripheral of %2 the DataStorageDevice and the computer and the objectOLD is stored on the DataStorageDevice and the object is a later software version of the objectOLD
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3595-3609	If a computer process is an instance of un installation and a time interval is equal to the time of existence of the computer process and a digital data is processed by the computer process and the digital data is an instance of computer program and the computer process is located at an object, then there exist another computer process and another time interval such that the other computer process is an instance of installation and the other time interval is equal to the time of existence of the other computer process and the digital data is processed by the other computer process and the digital data is an instance of computer program and the other computer process is located at the object and the other time interval happens earlier than the time interval
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1909-1914	If a proposition is an instance of Application Programmer Interface, then there exists another proposition such that the other proposition is an instance of computer program and the proposition is a sub-proposition of the other proposition
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3157-3164	If a physical is an instance of ComputerDesktopImage, then the physical purpose the physical includes a reference to an entity and the entity is an instance of digital data or the entity is an instance of computer program
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15595-15600	If a process is an instance of computer programming, then there exists an entity such that the entity is an instance of computer program and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1713-1723	If a physical is an instance of computer protocol, then the physical purpose there exist an entity, another entity and a third entity such that the entity is an instance of computer program and the other entity is an instance of computer program and the third entity is an instance of data transfer and the third entity originates at the entity and the third entity ends up at the other entity and the physical expresses the third entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1524-1530	If a content bearing physical is an instance of SoftwareFile, then there exist another content bearing physical and a proposition such that the other content bearing physical is an instance of computer program and the other content bearing physical subsumes the content of the proposition and the content bearing physical contains information the proposition
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2513-2521	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.	UXExperimentalTerms.kif 2212-2214	If an entity_SERVER is an instance of page module server, then the entity_SERVER is a part of computer program
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 848-853	If an object is an instance of SoftwarePackage, then there exists another object such that the other object is an instance of computer program and the other object is a part of 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 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

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: