Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| MultimediaFile(multimedia file) |
| 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 1357-1359 | |
| (subclass MultimediaFile ComputerFile) | Media.kif 1361-1361 | Multimedia file is a subclass of computer file |
| appearance as argument number 2 |
|
|
| 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 2777-2788 | If X is an instance of downloading non audio video image user file, Y is a patient of X, and Y is an instance of computer file, then Y is not an instance of image file, Y is not an instance of audio file, and Y is not an instance of multimedia file |
| (=> (instance ?I ITunes) (hasPurpose ?I (exists (?M ?D) (and (instance ?M MultimediaFile) (instance ?D DownloadingOverNetwork) (objectTransferred ?D ?M) (instrument ?D ?I))))) |
ComputingBrands.kif 3316-3324 | If X is an instance of i_tunes, then X has the purpose there exist Y, Z such that Y is an instance of multimedia file, Z is an instance of downloading, the object transferred in Z is Y, and X is an instrument for Z |
|