Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  DigitalData

Sigma KEE - DigitalData
DigitalData(数字数据)
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1852-1853
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8451-8451
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. pictureList.kif 9148-9148
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1851-1851 数字数据符号串subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 171-171 电脑文件数字数据subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1078-1078 计算机路径数字数据subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2105-2105 电脑报道数字数据subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1869-1869 数据库数字数据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 1862-1862 图像文件数字数据subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 262-262 数字数据subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1482-1482 WebPage数字数据subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1494-1494 WebSite数字数据subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19518-19518
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19517-19517
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19516-19516

appearance as argument number 3
-------------------------


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

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3496-3510
No TPTP formula. May not be expressible in strict first order. Media.kif 801-812
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1855-1860

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3217-3229
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2684-2692
No TPTP formula. May not be expressible in strict first order. ComputerInput.kif 2779-2786
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3167-3174
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4319-4326
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3312-3314
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4299-4310
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 95-106
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1681-1686
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 112-129
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 135-151


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