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	电脑程序是内部变化的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1882-1882	退出是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3491-3491	ComputerBackingUp 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1741-1741	电脑回应是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1794-1794	电脑任务是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4037-4037	DHCPServer 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1922-1922	数据压缩是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1903-1903	数据保存是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 91-91	数据传输是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 109-109	DeletingData 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3419-3419	粉碎是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 883-883	测量性能是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3792-3792	MountingADevice 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1779-1779	多任务处理是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 132-132	RestoringData 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1973-1973	重用资源是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1730-1730	用户请求是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1199-1199	UserSignifiedAction 是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1957-1957	使用A资源是电脑程序的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 1770-1770	WindowScrolling 是电脑程序的 subclass
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	accountUsed 的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 202-202	电脑运行的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1877-1877	数据已处理的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1889-1889	过程中止的 2 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 776-776	过程ID 的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 208-208	程序运行的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1994-1994	使用的资源的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 534-534	标准错误设备的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 503-503	标准输入设备的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 517-517	标准输出设备的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 573-573	进程状态的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 798-798	状态的 1 数量是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1952-1952	任务的 1 数量是电脑程序的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 299-307	如果电脑程序是软件系统的 instance 和电脑程序是电脑程序的 instance 和那个电脑程序是那个电脑程序的执行 program ，然后有存在电脑这样那个电脑是硬件系统的 instance 和那个电脑程序是 running 在那个电脑
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 427-438	如果电脑程序是关机块的 shutdown 和电脑程序是电脑程序的 instance 和那个关机块是那个电脑程序的执行 program 和那个电脑程序出现的 time equal 时距，然后有存在另一个电脑程序和另一个时距这样那个另外电脑程序是电脑程序的 instance 和那个电脑程序是那个另外电脑程序的执行 program 和那个另外电脑程序出现的 time equal 那个另外时距和那个另外时距接着那个时距
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 387-398	如果电脑程序是启动块的 startup 和电脑程序是电脑程序的 instance 和那个启动块是那个电脑程序的执行 program 和那个电脑程序出现的 time equal 时距，然后有存在另一个电脑程序和另一个时距这样那个另外电脑程序是电脑程序的 instance 和那个电脑程序是那个另外电脑程序的执行 program 和那个另外电脑程序出现的 time equal 那个另外时距和那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 660-670	如果电脑程序的 startup time delay 是持续时间和电脑程序是电脑程序的 instance 和那个电脑程序是那个电脑程序的执行 program 和那个电脑程序出现的 time equal 时距和物理是电脑程序的 instance 和那个物理出现的 time equal 另一个时距和那个时距接着第三时距和那个第三时距接着那个另外时距，然后那个第三时距的 duration 是那个持续时间
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1270-1284	如果有存在时距和另一个时距这样持续时间是电脑程序的 dependency 延迟和关机块是那个电脑程序的 dependency 类别和另一个电脑程序有对那个电脑程序的依赖性和电脑程序是电脑程序的 instance 和那个电脑程序是那个电脑程序的执行 program 和另一个电脑程序是电脑程序的 instance 和那个另外电脑程序是那个另外电脑程序的执行 program 和那个另外电脑程序出现的 time equal 那个另外时距和第三时距 finishes了才到那个时距和那个另外电脑程序出现的 time equal 那个另外时距和那个第三时距的开始 equal 那个另外时距的结束，然后那个第三时距的 duration 是那个持续时间
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1254-1268	如果有存在时距和另一个时距这样持续时间是电脑程序的 dependency 延迟和启动块是那个电脑程序的 dependency 类别和另一个电脑程序有对那个电脑程序的依赖性和电脑程序是电脑程序的 instance 和那个电脑程序是那个电脑程序的执行 program 和另一个电脑程序是电脑程序的 instance 和那个另外电脑程序是那个另外电脑程序的执行 program 和那个另外电脑程序出现的 time equal 那个另外时距和那个另外时距 starts了才到第三时距和那个电脑程序出现的 time equal 那个时距和那个第三时距的结束 equal 那个时距的开始，然后那个第三时距的 duration 是那个持续时间
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 157-164	如果电脑程序是电脑程序的 instance，然后有存在电脑和电脑程序这样那个电脑是电脑的 instance 和那个电脑程序是 running 在那个电脑和那个电脑程序是电脑程序的 instance 和那个电脑程序是那个电脑程序的执行 program

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3496-3510	如果电脑程序是 ComputerBackingUp 的 instance 和数字数据是由那个电脑程序 processed 和那个数字数据是数字数据的 instance 和有认知的主事是那个电脑程序的 agent，然后那个有认知的主事 desires 有存在实体这样那个电脑程序出现的 time 比那个实体发生的earlier 和有存在第三实体这样那个第三实体是电脑程序的 instance 和那个数字数据能够担当数据已处理的角色做那个第三实体在那个实体 holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3972-3986	如果过程是 LoggingIn 的 instance 和施事体有 account 用户帐号和那个用户帐号是在 WebSite 的 account 和时距 equal 紧接那个过程出现的 time after 和那个施事体是那个过程的 agent，然后有存在实体这样那个实体是电脑程序的 instance 和那个施事体是那个实体的 agent 和那个 WebSite 是那个实体的 patient 在那个时距 holdsDuring 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3988-4002	如果过程是 LoggingIn 的 instance 和施事体有 account 用户帐号和 deviceAccount 那个用户帐号 and 电脑和时距 equal 紧接那个过程出现的 time after 和那个施事体是那个过程的 agent，然后有存在实体这样那个实体是电脑程序的 instance 和那个施事体是那个实体的 agent 和那个电脑是导致那个实体的 instrument 在那个时距 holdsDuring 的声明 has 可能性的语气
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 427-438	如果电脑程序是关机块的 shutdown 和电脑程序是电脑程序的 instance 和那个关机块是那个电脑程序的执行 program 和那个电脑程序出现的 time equal 时距，然后有存在另一个电脑程序和另一个时距这样那个另外电脑程序是电脑程序的 instance 和那个电脑程序是那个另外电脑程序的执行 program 和那个另外电脑程序出现的 time equal 那个另外时距和那个另外时距接着那个时距
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 387-398	如果电脑程序是启动块的 startup 和电脑程序是电脑程序的 instance 和那个启动块是那个电脑程序的执行 program 和那个电脑程序出现的 time equal 时距，然后有存在另一个电脑程序和另一个时距这样那个另外电脑程序是电脑程序的 instance 和那个电脑程序是那个另外电脑程序的执行 program 和那个另外电脑程序出现的 time equal 那个另外时距和那个时距接着那个另外时距
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 1960-1968	如果物理是 app 的 instance，然后那个物理的目的是有存在那个物理，实体， and 和另一个实体这样那个另外实体是移动手机的 instance 和那个实体是电脑程序的 instance 和那个物理是那个实体的执行 program 和那个实体是 running 在那个另外实体
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3120-3128	如果物理是发信者的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是电脑程序的 instance 和那个另外实体是电邮的 instance 和那个实体是导致那个另外实体的 instrument 和那个物理是那个实体的执行 program
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3182-3193	如果物理是 IgnitionControlModule 的 instance，然后那个物理的目的是有存在实体，另一个实体， and 和第三实体这样那个另外实体是汽车的 instance 和那个实体是 Spark 的 instance 和那个第三实体是电脑程序的 instance 和那个物理是那个另外实体的 part 和那个第三实体是 located 在那个另外实体和那个实体是 located 在那个另外实体和那个第三实体 causes 那个实体
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 112-129	如果过程是 DeletingData 的 instance，然后有存在实体这样那个实体是数字数据的 instance 和那个实体是那个过程的 patient 和不存在另一个实体和类这样那个另外实体是电脑程序的 instance 和那个另外实体是那个类的 instance 和那个另外实体不是 RestoringData 的 instance 和那个实体能够担当受事的角色做那个类在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 135-151	如果过程是 RestoringData 的 instance，然后有存在另一个过程，实体,，，另一个实体， and 和类这样那个另外过程是 DeletingData 的 instance 和那个另外实体是数字数据的 instance 和那个另外实体是那个过程的 patient 和那个另外实体是那个另外过程的 patient 和那个另外过程出现的 time 比那个过程出现的 time发生的earlier 和那个实体是电脑程序的 instance 和那个实体是那个类的 instance 和那个另外实体能够担当受事的角色做那个类在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4347-4358	如果 loggedInDuring 施事体, 用户帐号 and 时距，然后有存在实体和另一个实体这样那个实体是电脑程序的 instance 和那个施事体是那个实体的 agent 和 deviceAccount 那个用户帐号 and 那个另外实体和那个另外实体是电脑的 instance 和那个实体是 running 在那个另外实体和那个另外实体是导致那个实体的 instrument 在那个时距 holdsDuring 的声明 has 可能性的语气

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: