No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1851-1851 | 数字数据 是 符号串 的 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 171-171 | 电脑文件 是 数字数据 的 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. | QoSontology.kif 1078-1078 | 计算机路径 是 数字数据 的 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 1869-1869 | 数据库 是 数字数据 的 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. | 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. | ComputerInput.kif 2825-2825 | DigitalPost 是 数字数据 的 subclass |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2859-2859 | DigitalComment 是 数字数据 的 subclass |