Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - ImageFile
ImageFile(image file)

appearance as argument number 1
-------------------------


(subclass ImageFile ComputerFile) Media.kif 1374-1374 Image file is a subclass of computer file
(subclass ImageFile DigitalData) QoSontology.kif 1986-1986 Image file is a subclass of digital data
(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 1987-1991 Image file is a subclass of digital data
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Raster_to_Vector_Mechanical_Example.jpg") pictureList.kif 8533-8533 Image file is a subclass of digital data
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ VectorBitmapExample.png") pictureList.kif 9325-9325 Image file is a subclass of digital data
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/en/3/31/ Autmn_5.png") pictureList.kif 9326-9326 Image file is a subclass of digital data
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/en/4/4f/ MB280S_ahmednayyer.jpg") pictureList.kif 9327-9327 Image file is a subclass of digital data

appearance as argument number 2
-------------------------


(subclass Screenshot ImageFile) ComputerInput.kif 1617-1617 Screenshot is a subclass of image file
(subclass JPGFile ImageFile) Media.kif 1378-1378 JPG file is a subclass of image file
(subclass PDFFile ImageFile) Media.kif 1382-1382 PDF file is a subclass of image file
(subclass DOCFile ImageFile) Media.kif 1386-1386 DOC file is a subclass of image file
(subclass EBookFile ImageFile) Media.kif 1391-1391 Ebook file is a subclass of image file
(subclass DigitalSignature ImageFile) Media.kif 1399-1399 Digital signature is a subclass of image file
(subclass AudioVisualFile ImageFile) Media.kif 1413-1413 Audio visual file is a subclass of image file
(termFormat EnglishLanguage ImageFile "image file") domainEnglishFormat.kif 29309-29309 Audio visual file is a subclass of image file
(termFormat ChineseTraditionalLanguage ImageFile "圖像文件") domainEnglishFormat.kif 29310-29310 Audio visual file is a subclass of image file
(termFormat ChineseLanguage ImageFile "图像文件") domainEnglishFormat.kif 29311-29311 Audio visual file is a subclass of image file

appearance as argument number 3
-------------------------


(domain imageResolution 1 ImageFile) QoSontology.kif 2124-2124 The number 1 argument of image resolution is an instance of image file

consequent
-------------------------


(=>
    (instance ?ACT DownloadingImage)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ImageFile))))		 ComputerInput.kif 2740-2745 If X is an instance of downloading image, then there exists Y such that Y is a patient of X and Y is an instance of image file
(=>
    (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 2777-2788 If X is an instance of downloading non audio video image user file, Y is a patient of X, and Y is an instance of computer file, then Y is not an instance of image file, Y is not an instance of audio file, and Y is not an instance of multimedia file
(=>
    (instance ?ACT UploadingImage)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ImageFile))))		 ComputerInput.kif 2809-2814 If X is an instance of uploading image, then there exists Y such that Y is a patient of X and Y 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners