ImageFile
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1863-1867 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9326-9326 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8534-8534 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9327-9327 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9328-9328 | |
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. | QoSontology.kif 1862-1862 | 图像文件 是 数字数据 的 subclass |
appearance as argument number 2 |
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. | Media.kif 1439-1439 | DOCFile 是 图像文件 的 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 1444-1444 | EBookFile 是 图像文件 的 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. | ComputerInput.kif 1601-1601 | Screenshot 是 图像文件 的 subclass |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29307-29307 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29306-29306 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 29305-29305 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 2000-2000 | 图像解析度 的 1 数量 是 图像文件 的 instance |
consequent |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2761-2772 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2724-2729 | |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 2793-2798 |