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