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 是 电脑文件 的 subclass |
appearance as argument number 2 |
(subclass AudioVisualFile MultimediaFile) | Media.kif 1468-1468 | AudioVisualFile 是 MultimediaFile 的 subclass |
(subclass MUSFile MultimediaFile) | Media.kif 1425-1425 | MUSFile 是 MultimediaFile 的 subclass |
(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 |