| 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. | Media.kif 1427-1427 | 图像文件 是 电脑文件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1431-1431 | JPGFile 是 图像文件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1435-1435 | PDFFile 是 图像文件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1439-1439 | DOCFile 是 图像文件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1444-1444 | EBookFile 是 图像文件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1452-1452 | DigitalSignature 是 图像文件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Media.kif 1466-1466 | AudioVisualFile 是 图像文件 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1601-1601 | Screenshot 是 图像文件 的 subclass |
|
|