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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - ImageFile
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 1869-1873
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ VectorBitmapExample.png") pictureList.kif 9331-9331
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Raster_to_Vector_Mechanical_Example.jpg") pictureList.kif 8537-8537
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/en/3/31/ Autmn_5.png") pictureList.kif 9332-9332
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/en/4/4f/ MB280S_ahmednayyer.jpg") pictureList.kif 9333-9333
(subclass ImageFile ComputerFile) Media.kif 1431-1431
(subclass ImageFile DigitalData) QoSontology.kif 1868-1868

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


(subclass AudioVisualFile ImageFile) Media.kif 1470-1470
(subclass DOCFile ImageFile) Media.kif 1443-1443
(subclass DigitalSignature ImageFile) Media.kif 1456-1456
(subclass EBookFile ImageFile) Media.kif 1448-1448
(subclass JPGFile ImageFile) Media.kif 1435-1435
(subclass PDFFile ImageFile) Media.kif 1439-1439
(termFormat ChineseLanguage ImageFile "图像文件") domainEnglishFormat.kif 29215-29215
(termFormat ChineseTraditionalLanguage ImageFile "圖像文件") domainEnglishFormat.kif 29214-29214
(termFormat EnglishLanguage ImageFile "image file") domainEnglishFormat.kif 29213-29213

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


(domain imageResolution 1 ImageFile) QoSontology.kif 2006-2006

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 2414-2425
(=>
    (instance ?ACT DownloadingImage)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ImageFile))))
ComputerInput.kif 2384-2389
(=>
    (instance ?ACT UploadingImage)
    (exists (?FILE)
        (and
            (patient ?ACT ?FILE)
            (instance ?FILE ImageFile))))
ComputerInput.kif 2440-2445


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners