| 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 1994-1998 | |
| (externalImage ImageFile "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ VectorBitmapExample.png") | pictureList.kif 9325-9325 | |
| (externalImage ImageFile "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Raster_to_Vector_Mechanical_Example.jpg") | pictureList.kif 8533-8533 | |
| (externalImage ImageFile "http://upload.wikimedia.org/wikipedia/en/3/31/ Autmn_5.png") | pictureList.kif 9326-9326 | |
| (externalImage ImageFile "http://upload.wikimedia.org/wikipedia/en/4/4f/ MB280S_ahmednayyer.jpg") | pictureList.kif 9327-9327 | |
| (subclass ImageFile ComputerFile) | Media.kif 1429-1429 | |
| (subclass ImageFile DigitalData) | QoSontology.kif 1993-1993 |
| appearance as argument number 2 |
|
|
| (subclass AudioVisualFile ImageFile) | Media.kif 1468-1468 | |
| (subclass DOCFile ImageFile) | Media.kif 1441-1441 | |
| (subclass DigitalSignature ImageFile) | Media.kif 1454-1454 | |
| (subclass EBookFile ImageFile) | Media.kif 1446-1446 | |
| (subclass JPGFile ImageFile) | Media.kif 1433-1433 | |
| (subclass PDFFile ImageFile) | Media.kif 1437-1437 | |
| (subclass Screenshot ImageFile) | ComputerInput.kif 1601-1601 | |
| (termFormat ChineseLanguage ImageFile "图像文件") | domainEnglishFormat.kif 29335-29335 | |
| (termFormat ChineseTraditionalLanguage ImageFile "圖像文件") | domainEnglishFormat.kif 29334-29334 | |
| (termFormat EnglishLanguage ImageFile "image file") | domainEnglishFormat.kif 29333-29333 |
| appearance as argument number 3 |
|
|
| (domain imageResolution 1 ImageFile) | QoSontology.kif 2131-2131 |
| 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 |
|
|
|