| 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 177-177 | 电脑目录 是 电脑文件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1414-1414 | MultimediaFile 是 电脑文件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1427-1427 | 图像文件 是 电脑文件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1454-1454 | AudioFile 是 电脑文件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1473-1473 | XMLFile 是 电脑文件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1519-1519 | SoftwareFile 是 电脑文件 的 subclass |
|
|