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 | 子類 圖像文件 and 電腦文件 |
No TPTP formula. May not be expressible in strict first order. | QoSontology.kif 1862-1862 | 子類 圖像文件 and 數字數據 |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1466-1466 | 子類 AudioVisualFile and 圖像文件 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1439-1439 | 子類 DOCFile and 圖像文件 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1452-1452 | 子類 DigitalSignature and 圖像文件 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1444-1444 | 子類 EBookFile and 圖像文件 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1431-1431 | 子類 JPGFile and 圖像文件 |
No TPTP formula. May not be expressible in strict first order. | Media.kif 1435-1435 | 子類 PDFFile and 圖像文件 |
No TPTP formula. May not be expressible in strict first order. | ComputerInput.kif 1601-1601 | 子類 Screenshot and 圖像文件 |
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 and 圖像文件 |
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 |