ImageFile - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - ImageFile

ImageFile(image file)

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 1969-1973
(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 1427-1427	Image file is a subclass of computer file
(subclass ImageFile DigitalData)	QoSontology.kif 1968-1968	Image file is a subclass of digital data

appearance as argument number 2

(subclass AudioVisualFile ImageFile)	Media.kif 1466-1466	Audio visual file is a subclass of image file
(subclass DOCFile ImageFile)	Media.kif 1439-1439	DOC file is a subclass of image file
(subclass DigitalSignature ImageFile)	Media.kif 1452-1452	Digital signature is a subclass of image file
(subclass EBookFile ImageFile)	Media.kif 1444-1444	Ebook file is a subclass of image file
(subclass JPGFile ImageFile)	Media.kif 1431-1431	JPG file is a subclass of image file
(subclass PDFFile ImageFile)	Media.kif 1435-1435	PDF file is a subclass of image file
(subclass Screenshot ImageFile)	ComputerInput.kif 1601-1601	Screenshot is a subclass of image file
(termFormat ChineseLanguage ImageFile "图像文件")	domainEnglishFormat.kif 29335-29335	Screenshot is a subclass of image file
(termFormat ChineseTraditionalLanguage ImageFile "圖像文件")	domainEnglishFormat.kif 29334-29334	Screenshot is a subclass of image file
(termFormat EnglishLanguage ImageFile "image file")	domainEnglishFormat.kif 29333-29333	Screenshot is a subclass of image file

appearance as argument number 3

(domain imageResolution 1 ImageFile)

QoSontology.kif 2106-2106

The number 1 argument of image resolution is an instance of image file

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	If a process is an instance of downloading non audio video image user file and an entity is a patient of the process and the entity is an instance of computer file, then the entity is not an instance of image file and the entity is not an instance of audio file and the entity is not an instance of multimedia file
(=> (instance ?ACT DownloadingImage) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE ImageFile))))	ComputerInput.kif 2724-2729	If a process is an instance of downloading image, then there exists an entity such that the entity is a patient of the process and the entity is an instance of image file
(=> (instance ?ACT UploadingImage) (exists (?FILE) (and (patient ?ACT ?FILE) (instance ?FILE ImageFile))))	ComputerInput.kif 2793-2798	If a process is an instance of uploading image, then there exists an entity such that the entity is a patient of the process and the entity is an instance of image file

Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)

Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners