TreeView Knowledge Base Browser - DigitalData

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - DigitalData

DigitalData(数字数据)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1983-1984
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8450-8450
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9143-9143
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9144-9144
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9145-9145
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9146-9146
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9147-9147
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1982-1982	数字数据是符号串的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 172-172	电脑文件是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1187-1187	计算机路径是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2237-2237	电脑报道是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2000-2000	数据库是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2859-2859	DigitalComment 是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2825-2825	DigitalPost 是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3304-3304	HypertextLink 是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1993-1993	图像文件是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 263-263	包是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 1484-1484	WebPage 是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	Media.kif 1496-1496	WebSite 是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19527-19527	WebSite 是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19526-19526	WebSite 是数字数据的 subclass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 19525-19525	WebSite 是数字数据的 subclass

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2009-2009	数据已处理的 2 数量是数字数据的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 2339-2339	filename 的 2 数量是数字数据的 instance

antecedent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3492-3506	如果电脑程序是 ComputerBackingUp 的 instance 和数字数据是由那个电脑程序 processed 和那个数字数据是数字数据的 instance 和有认知的主事是那个电脑程序的 agent，然后那个有认知的主事 desires 有存在实体这样那个电脑程序出现的 time 比那个实体发生的earlier 和有存在第三实体这样那个第三实体是电脑程序的 instance 和那个数字数据能够担当数据已处理的角色做那个第三实体在那个实体 holdsDuring
No TPTP formula. May not be expressible in strict first order.	Media.kif 801-812	如果客体是 DigitalDataStorageDevice 的 instance 和符号串是那个客体的 part 和那个符号串是数字数据的 instance，然后有存在 CodeMap，串列， and 和实体这样那个符号串在那个 CodeMap denotes 那个实体和那个串列表达那个 CodeMap 和如果那个实体是那个串列的 member，然后那个实体是二进制数的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1986-1991	如果物理是数字数据的 instance，然后有存在客体这样那个客体是 DigitalDataStorageDevice 的 instance 和那个物理是 located 在那个客体

consequent

No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3213-3225	如果物理有啟動中的 attribute 和那个物理是电脑的 instance，然后有存在客体，另一个客体， and 和转移这样那个客体是数字数据的 instance 和那个另外客体是操作系统的 instance 和那个转移是数据传输的 instance 和那个转移出现的 time 在那个物理出现的 time 时段内发生和那个转移在那个物理结束和那个客体是那个另外客体的 part 和 objectTransferred 那个转移 and 那个客体
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2684-2692	如果过程是下載的 instance，然后有存在实体和施事体这样那个实体是那个过程的 patient 和那个施事体是那个过程的 agent 和那个过程在那个施事体结束和那个施事体是 ComputerSystem 的 instance 和那个实体是数字数据的 instance
No TPTP formula. May not be expressible in strict first order.	ComputerInput.kif 2779-2786	如果过程是上傳的 instance，然后有存在实体和客体这样那个实体是那个过程的 patient 和那个客体是电脑的 instance 和那个客体是那个过程的源头和那个实体是数字数据的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 3163-3170	如果物理是 ComputerDesktopImage 的 instance，然后那个物理的目的是那个物理提到实体和那个实体是数字数据的 instance 或那个实体是电脑程序的 instance
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4314-4321	如果过程是 DataEntry 的 instance，然后有存在另一个过程和施事体这样那个另外过程是数字数据的 instance 和那个施事体是那个另外过程的 agent 和电脑用户是那个施事体的 attribute 和那个另外过程是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 3312-3314	如果实体是 HypertextLink 的 instance，然后那个实体提到数字数据
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 505-512	如果过程是 ThreeDPrinting 的 instance，然后有存在实体和另一个实体这样那个实体是数字数据的 instance 和那个实体表达那个另外实体和那个另外实体是人工制品的 instance 和那个另外实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4294-4305	如果过程是 TwoFactorLoggingIn 的 instance，然后有存在转移和客体这样那个转移是那个过程的subProcess 和那个转移是 DataEntry 的 instance 和那个客体是数字数据的 instance 和 objectTransferred 那个转移 and 那个客体和那个客体不是电脑密码的 instance 和那个客体不是用户名的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 95-106	如果过程是数据传输的 instance，然后有存在客体，实体,，，另一个客体， and 和另一个实体这样那个客体是那个过程的源头和那个过程在那个实体结束和那个另外客体是导致那个过程的 instrument 和那个另外实体是那个过程的 patient 和那个另外实体是数字数据的 instance 和那个另外客体是硬件系统的 instance 和那个客体是硬件系统的 instance 和那个实体是计算系统的 instance
No TPTP formula. May not be expressible in strict first order.	QoSontology.kif 1812-1817	如果实体是统一资源标识符的 instance，然后有存在另一个实体这样那个另外实体是数字数据的 instance 和那个实体提到那个另外实体
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 136-152	如果过程是 RestoringData 的 instance，然后有存在另一个过程，实体,，，另一个实体， and 和类这样那个另外过程是 DeletingData 的 instance 和那个另外实体是数字数据的 instance 和那个另外实体是那个过程的 patient 和那个另外实体是那个另外过程的 patient 和那个另外过程出现的 time 比那个过程出现的 time发生的earlier 和那个实体是电脑程序的 instance 和那个实体是那个类的 instance 和那个另外实体能够担当受事的角色做那个类在紧接那个过程出现的 time after holdsDuring

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