| ImageFile(图像文件)
|
| appearance as argument number 1 |
|
| (documentation ImageFile EnglishLanguage "A picture (graphic) stored in a particular coding scheme and stored as a file. Note that this can include vector as well as raster images. Raster images will entail a particular number of horizontal and vertical pixels. Vector images will not entail a particular size or resolution.") | QoSontology.kif 1863-1867 | |
| (externalImage ImageFile "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ VectorBitmapExample.png") | pictureList.kif 9326-9326 | |
| (externalImage ImageFile "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Raster_to_Vector_Mechanical_Example.jpg") | pictureList.kif 8534-8534 | |
| (externalImage ImageFile "http://upload.wikimedia.org/wikipedia/en/3/31/ Autmn_5.png") | pictureList.kif 9327-9327 | |
| (externalImage ImageFile "http://upload.wikimedia.org/wikipedia/en/4/4f/ MB280S_ahmednayyer.jpg") | pictureList.kif 9328-9328 | |
| (subclass ImageFile ComputerFile) | Media.kif 1427-1427 | 图像文件 是 电脑文件 的 subclass |
| (subclass ImageFile DigitalData) | QoSontology.kif 1862-1862 | 图像文件 是 数字数据 的 subclass |
| appearance as argument number 2 |
|
|
| (subclass AudioVisualFile ImageFile) | Media.kif 1466-1466 | AudioVisualFile 是 图像文件 的 subclass |
| (subclass DOCFile ImageFile) | Media.kif 1439-1439 | DOCFile 是 图像文件 的 subclass |
| (subclass DigitalSignature ImageFile) | Media.kif 1452-1452 | DigitalSignature 是 图像文件 的 subclass |
| (subclass EBookFile ImageFile) | Media.kif 1444-1444 | EBookFile 是 图像文件 的 subclass |
| (subclass JPGFile ImageFile) | Media.kif 1431-1431 | JPGFile 是 图像文件 的 subclass |
| (subclass PDFFile ImageFile) | Media.kif 1435-1435 | PDFFile 是 图像文件 的 subclass |
| (subclass Screenshot ImageFile) | ComputerInput.kif 1601-1601 | Screenshot 是 图像文件 的 subclass |
| (termFormat ChineseLanguage ImageFile "图像文件") | domainEnglishFormat.kif 29307-29307 | |
| (termFormat ChineseTraditionalLanguage ImageFile "圖像文件") | domainEnglishFormat.kif 29306-29306 | |
| (termFormat EnglishLanguage ImageFile "image file") | domainEnglishFormat.kif 29305-29305 |
| appearance as argument number 3 |
|
|
| (domain imageResolution 1 ImageFile) | QoSontology.kif 2000-2000 | 图像解析度 的 1 数量 是 图像文件 的 instance |
| consequent |
|
|
| (=> (and (instance ?ACT DownloadingNonAudioVideoImageUserFile) (patient ?ACT ?FILE) (instance ?FILE ComputerFile)) (and (not (instance ?FILE ImageFile)) (not (instance ?FILE AudioFile)) (not (instance ?FILE MultimediaFile)))) |
ComputerInput.kif 2761-2772 | |
| (=> (instance ?ACT DownloadingImage) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE ImageFile)))) |
ComputerInput.kif 2724-2729 | |
| (=> (instance ?ACT UploadingImage) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE ImageFile)))) |
ComputerInput.kif 2793-2798 |
|
|
|