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 1863-1867
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/commons/ b/ b4/ VectorBitmapExample.png") pictureList.kif 9326-9326
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/commons/ e/ e5/ Raster_to_Vector_Mechanical_Example.jpg") pictureList.kif 8534-8534
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/en/3/31/ Autmn_5.png") pictureList.kif 9327-9327
(externalImage ImageFile "http://upload.wikimedia.org/wikipedia/en/4/4f/ MB280S_ahmednayyer.jpg") pictureList.kif 9328-9328
(subclass ImageFile ComputerFile) Media.kif 1427-1427 ImageFileComputerFilesubclass では %n
(subclass ImageFile DigitalData) QoSontology.kif 1862-1862 ImageFileDigitalDatasubclass では %n

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


(subclass AudioVisualFile ImageFile) Media.kif 1466-1466 AudioVisualFileImageFilesubclass では %n
(subclass DOCFile ImageFile) Media.kif 1439-1439 DOCFileImageFilesubclass では %n
(subclass DigitalSignature ImageFile) Media.kif 1452-1452 DigitalSignatureImageFilesubclass では %n
(subclass EBookFile ImageFile) Media.kif 1444-1444 EBookFileImageFilesubclass では %n
(subclass JPGFile ImageFile) Media.kif 1431-1431 JPGFileImageFilesubclass では %n
(subclass PDFFile ImageFile) Media.kif 1435-1435 PDFFileImageFilesubclass では %n
(subclass Screenshot ImageFile) ComputerInput.kif 1601-1601 ScreenshotImageFilesubclass では %n
(termFormat ChineseLanguage ImageFile "图像文件") domainEnglishFormat.kif 29307-29307
(termFormat ChineseTraditionalLanguage ImageFile "圖像文件") domainEnglishFormat.kif 29306-29306
(termFormat EnglishLanguage ImageFile "image file") domainEnglishFormat.kif 29305-29305

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


(domain imageResolution 1 ImageFile) QoSontology.kif 2000-2000 imageResolution の数値 1 引数は ImageFileinstance では %n

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


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