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 1858-1859
No TPTP formula. May not be expressible in strict first order. pictureList.kif 8453-8453
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9149-9149
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9150-9150
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9151-9151
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9152-9152
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9153-9153
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1857-1857 数字数据符号串subclass

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


No TPTP formula. May not be expressible in strict first order. QoSontology.kif 169-169 电脑文件数字数据subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1083-1083 计算机路径数字数据subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 2111-2111 电脑报道数字数据subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1875-1875 数据库数字数据subclass
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3507-3507 HypertextLink数字数据subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 1868-1868 图像文件数字数据subclass
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 260-260 数字数据subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1486-1486 WebPage数字数据subclass
No TPTP formula. May not be expressible in strict first order. Media.kif 1497-1497 WebSite数字数据subclass
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19441-19441
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19440-19440
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 19439-19439

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


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

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3485-3499
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 1861-1866

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3205-3215
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 3155-3162
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4239-4246
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3515-3517
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 4219-4230
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 1686-1691
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 112-128
No TPTP formula. May not be expressible in strict first order. QoSontology.kif 134-149


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