DownloadingNonAudioVideoImageUserFile - Sigma Knowledge base Browser

appearance as argument number 1

(documentation DownloadingNonAudioVideoImageUserFile EnglishLanguage "DownloadingNonAudioVideoImageUserFile is those instances of NetworkCommunication in which an ComputerFile that isn't an AudioFile, MultimediaFile, or ImageFile is downloaded to a user's local computer from another ComputerSystem on a network.")	ComputerInput.kif 2752-2755
(subclass DownloadingNonAudioVideoImageUserFile DownloadingUserFile)	ComputerInput.kif 2751-2751

antecedent

(=>
    (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 2757-2768