Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  ImageFile

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 1869-1873
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ VectorBitmapExample.png") pictureList.kif 9327-9327
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Raster_to_Vector_Mechanical_Example.jpg") pictureList.kif 8535-8535
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/en/3/31/ Autmn_5.png") pictureList.kif 9328-9328
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/en/4/4f/ MB280S_ahmednayyer.jpg") pictureList.kif 9329-9329
(subclass ImageFile ComputerFile) Media.kif 1431-1431 Image file is a subclass of computer file
(subclass ImageFile DigitalData) QoSontology.kif 1868-1868 Image file is a subclass of digital data

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


(subclass AudioVisualFile ImageFile) Media.kif 1470-1470 AudioVisualFile is a subclass of image file
(subclass DOCFile ImageFile) Media.kif 1443-1443 DOCFile is a subclass of image file
(subclass DigitalSignature ImageFile) Media.kif 1456-1456 DigitalSignature is a subclass of image file
(subclass EBookFile ImageFile) Media.kif 1448-1448 EBookFile is a subclass of image file
(subclass JPGFile ImageFile) Media.kif 1435-1435 JPGFile is a subclass of image file
(subclass PDFFile ImageFile) Media.kif 1439-1439 PDFFile is a subclass of image file
(subclass Screenshot ImageFile) ComputerInput.kif 1630-1630 Screenshot is a subclass of image file
(termFormat ChineseLanguage ImageFile "图像文件") domainEnglishFormat.kif 29298-29298
(termFormat ChineseTraditionalLanguage ImageFile "圖像文件") domainEnglishFormat.kif 29297-29297
(termFormat EnglishLanguage ImageFile "image file") domainEnglishFormat.kif 29296-29296

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


(domain imageResolution 1 ImageFile) QoSontology.kif 2006-2006 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 2789-2800
(=>
    (instance ?ACT DownloadingImage)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ImageFile))))
ComputerInput.kif 2752-2757
(=>
    (instance ?ACT UploadingImage)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ImageFile))))
ComputerInput.kif 2821-2826


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

Show without tree


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