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 16784-16785
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1708-1708
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1295-1295
No TPTP formula. May not be expressible in strict first order.	engineering.kif 1294-1294
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16783-16783	电脑程序是程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 813-813	电脑程序是 Software 的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryProcesses.kif 1828-1828	JOPES 是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2169-2169	影/音控制传输协议是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2949-2949	Flash 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1947-1947	App 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1970-1970	蘋果app 商店是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 917-917	FaceTime 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 955-955	FairPlay 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2932-2932	苹果快速 App切换器是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 881-881	GarageBand 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 899-899	ICloud 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 905-905	ILife 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 893-893	IMessages 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 887-887	IMovie 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 911-911	IWork 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 988-988	迁移助理是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 981-981	设置助理是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1911-1911	应用程式介面是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 578-578	自动申请是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2281-2281	小书签是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2307-2307	日历是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2329-2329	照相机是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 608-608	控制台应用是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4054-4054	DHCPProgram 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3102-3102	发信者是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4251-4251	FindMyIPhone 是电脑程序的 subclass

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 1319-1319	CPU利用率的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1312-1312	初步资料的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 441-441	关掉的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 401-401	启动的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1295-1295	命令行参数的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 643-643	临界水平的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1244-1244	依赖延迟的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1221-1221	依赖类型的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 461-461	环境属性的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1238-1238	有依赖性的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1239-1239	有依赖性的 2 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4044-4044	implementsProtocol 的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 741-741	最大的复制的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 720-720	最小重复的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 974-974	监控应用数据的 2 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 768-768	端口号的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 637-637	程序副本的 2 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 209-209	程序运行的 2 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 187-187	继续前进的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 338-338	能够操作的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 713-713	安顿时间的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 413-413	关闭的 2 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 921-921	心跳率的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3865-3865	softwareVersion 的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 373-373	的启动的 2 数量是电脑程序的 instance

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 3593-3601	如果电脑程序是安装的 instance 和数字数据是由那个电脑程序 processed 和那个数字数据是电脑程序的 instance 和那个电脑程序在实体结束，然后那个电脑程序的目的是有存在那个数字数据ROC 这样那个数字数据ROC 是 running 在那个实体
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3603-3617	如果电脑程序是反安装的 instance 和时距 equal 那个电脑程序出现的 time 和数字数据是由那个电脑程序 processed 和那个数字数据是电脑程序的 instance 和那个电脑程序是 located 在客体，然后有存在另一个电脑程序和另一个时距这样那个另外电脑程序是安装的 instance 和那个另外时距 equal 那个另外电脑程序出现的 time 和那个数字数据是由那个另外电脑程序 processed 和那个数字数据是电脑程序的 instance 和那个另外电脑程序是 located 在那个客体和那个另外时距比那个时距发生的earlier

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3826-3840	如果转移是软体更新的 instance 和实体是那个转移的 patient 和那个实体是电脑的 instance，然后有存在客体这样 objectTransferred 那个转移 and 那个客体和那个客体是电脑程序的 instance 和在那个转移出现的 time 的开始 holdsDuring 和在那个转移出现的 time 的结束 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3603-3617	如果电脑程序是反安装的 instance 和时距 equal 那个电脑程序出现的 time 和数字数据是由那个电脑程序 processed 和那个数字数据是电脑程序的 instance 和那个电脑程序是 located 在客体，然后有存在另一个电脑程序和另一个时距这样那个另外电脑程序是安装的 instance 和那个另外时距 equal 那个另外电脑程序出现的 time 和那个数字数据是由那个另外电脑程序 processed 和那个数字数据是电脑程序的 instance 和那个另外电脑程序是 located 在那个客体和那个另外时距比那个时距发生的earlier
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1929-1934	如果命题是应用程式介面的 instance，然后有存在另一个命题这样那个另外命题是电脑程序的 instance 和那个命题是那个另外命题的 subProposition
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3167-3174	如果物理是 ComputerDesktopImage 的 instance，然后那个物理的目的是那个物理提到实体和那个实体是数字数据的 instance 或那个实体是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16791-16796	如果过程是电脑编程的 instance，然后有存在实体这样那个实体是电脑程序的 instance 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1736-1746	如果物理是电脑协定的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个实体是电脑程序的 instance 和那个另外实体是电脑程序的 instance 和那个第三实体是数据传输的 instance 和那个实体是那个第三实体的源头和那个第三实体在那个另外实体结束和那个物理表达那个第三实体
No TPTP formula. May not be expressible in strict first order.	Media.kif 1534-1540	如果内容承载物理是 SoftwareFile 的 instance，然后有存在另一个内容承载物理和命题这样那个另外内容承载物理是电脑程序的 instance 和那个另外内容承载物理包含那个命题的内容和那个内容承载物理 contains 那个命题的资料
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 2544-2552	如果客体是插槽的 instance，然后有存在另一个客体，电脑程序， and 和电脑程序这样那个电脑程序是电脑程序的 instance 和那个电脑程序是那个电脑程序的执行 program 和那个另外客体是图标的 instance 和那个另外客体表达那个电脑程序和那个另外客体在那个客体的内
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 2008-2010	如果实体_SERVER 是 PageModuleServer 的 instance，然后那个实体_SERVER 是电脑程序的 part
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 819-824	如果客体是 SoftwarePackage 的 instance，然后有存在另一个客体这样那个另外客体是电脑程序的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 157-164	如果电脑程序是电脑程序的 instance，然后有存在电脑和电脑程序这样那个电脑是电脑的 instance 和那个电脑程序是 running 在那个电脑和那个电脑程序是电脑程序的 instance 和那个电脑程序是那个电脑程序的执行 program
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 599-606	如果电脑程序是 RMStartApplication 的 instance，然后有存在另一个电脑程序，电脑程序， and 和那个电脑程序Copy 这样那个另外电脑程序是电脑程序的 instance 和那个电脑程序Copy 是那个电脑程序的 copy 和那个另外电脑程序的 startup 是那个电脑程序的执行 program 和那个电脑程序Copy 是那个电脑程序的 agent
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 562-570	如果实体是过程状态的 instance，然后有存在电脑程序这样那个电脑程序是电脑程序的 instance 和对所有电脑程序如果那个电脑程序是那个电脑程序的执行 program ，然后那个实体表达那个电脑程序

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: