DigitalData
|
|
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 |
|