MultimediaFile |
appearance as argument number 1 |
(documentation MultimediaFile EnglishLanguage "An instance of MultimediaFile is a ComputerFile that can contain (encode) multimedia content: images, text, and/ or sound.") | Media.kif 1410-1412 | |
(subclass MultimediaFile ComputerFile) | Media.kif 1414-1414 | MultimediaFile e' uma sub-classe de ComputerFile |
appearance as argument number 2 |
(subclass AudioVisualFile MultimediaFile) | Media.kif 1468-1468 | AudioVisualFile e' uma sub-classe de MultimediaFile |
(subclass MUSFile MultimediaFile) | Media.kif 1425-1425 | MUSFile e' uma sub-classe de MultimediaFile |
(termFormat EnglishLanguage MultimediaFile "multimedia file") | domainEnglishFormat.kif 65211-65211 |
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 ?I ITunes) (hasPurpose ?I (exists (?M ?D) (and (instance ?M MultimediaFile) (instance ?D DownloadingOverNetwork) (objectTransferred ?D ?M) (instrument ?D ?I))))) |
ComputingBrands.kif 3409-3417 |
|