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 2756-2759
(subclass DownloadingNonAudioVideoImageUserFile DownloadingUserFile)	ComputerInput.kif 2755-2755	Downloading non audio video image user file is a subclass of downloading user file

appearance as argument number 2

domainEnglishFormat.kif 64831-64831

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 2761-2772