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 |
![]() |
![]() |